Context                Previous, Next                Top


247_a_dick_1952
“If we expect to get there by nightfall we must go fast.”

%3 r_0247_0002__If If r_0247_0004__expect expect r_0247_0002__If->r_0247_0004__expect [restriction] r_0247_0011__must must r_0247_0002__If->r_0247_0011__must [scope] r_0247_0003__we we r_0247_0004__expect->r_0247_0003__we [arg0] r_0247_0005__to_r_0247_0006__get to get r_0247_0004__expect->r_0247_0005__to_r_0247_0006__get [arg1] r_0247_0012__go go r_0247_0011__must->r_0247_0012__go [scope] r_0247_0005__to_r_0247_0006__get->r_0247_0003__we [arg0] r_0247_0007__there there r_0247_0005__to_r_0247_0006__get->r_0247_0007__there [clr] r_0247_0009__nightfall nightfall r_0247_0005__to_r_0247_0006__get->r_0247_0009__nightfall by [nim] r_0247_0010__we we r_0247_0012__go->r_0247_0010__we [arg0] r_0247_0013__fast fast r_0247_0012__go->r_0247_0013__fast [clr] 
arc(r_0247_0002__If, r_0247_0004__expect, restriction).
arc(r_0247_0002__If, r_0247_0011__must, scope).
arc(r_0247_0004__expect, r_0247_0003__we, arg0).
arc(r_0247_0004__expect, r_0247_0005__to_r_0247_0006__get, arg1).
arc(r_0247_0005__to_r_0247_0006__get, r_0247_0003__we, arg0).
arc(r_0247_0005__to_r_0247_0006__get, r_0247_0007__there, clr18).
arc(r_0247_0005__to_r_0247_0006__get, r_0247_0009__nightfall, r_0247_0008__by_nim24).
arc(r_0247_0011__must, r_0247_0012__go, scope).
arc(r_0247_0012__go, r_0247_0010__we, arg0).
arc(r_0247_0012__go, r_0247_0013__fast, clr35).


%3 r_0247_0011__must_r_0247_0012__go must go r_0247_0013__fast fast r_0247_0011__must_r_0247_0012__go->r_0247_0013__fast [clr] r_0247_0010__we we r_0247_0011__must_r_0247_0012__go->r_0247_0010__we [arg0] r_0247_0005__to_r_0247_0006__get to get r_0247_0009__nightfall nightfall r_0247_0005__to_r_0247_0006__get->r_0247_0009__nightfall by [nim] r_0247_0007__there there r_0247_0005__to_r_0247_0006__get->r_0247_0007__there [clr] r_0247_0003__we we r_0247_0005__to_r_0247_0006__get->r_0247_0003__we [arg0] r_0247_0004__expect expect r_0247_0004__expect->r_0247_0005__to_r_0247_0006__get [arg1] r_0247_0004__expect->r_0247_0003__we [arg0] r_0247_0002__If If r_0247_0002__If->r_0247_0011__must_r_0247_0012__go [scope] r_0247_0002__If->r_0247_0004__expect [restriction] 
fof(formula,axiom,
    ! [R_0247_0004__EXPECT,R_0247_0003__WE,R_0247_0007__THERE,R_0247_0009__NIGHTFALL,R_0247_0005__TO_R_0247_0006__GET] :
      ( ( r_0247_0003__we(R_0247_0003__WE)
        & r_0247_0007__there(R_0247_0007__THERE)
        & r_0247_0009__nightfall(R_0247_0009__NIGHTFALL)
        & r_0247_0004__expect(R_0247_0004__EXPECT)
        & has_arg1(R_0247_0004__EXPECT,R_0247_0005__TO_R_0247_0006__GET)
        & r_0247_0005__to_r_0247_0006__get(R_0247_0005__TO_R_0247_0006__GET)
        & has_r_0247_0008__by_nim24(R_0247_0005__TO_R_0247_0006__GET,R_0247_0009__NIGHTFALL)
        & has_clr18(R_0247_0005__TO_R_0247_0006__GET,R_0247_0007__THERE)
        & has_arg0(R_0247_0005__TO_R_0247_0006__GET,R_0247_0003__WE)
        & has_arg0(R_0247_0004__EXPECT,R_0247_0003__WE) )
     => ? [R_0247_0010__WE,R_0247_0013__FAST,R_0247_0011__MUST_R_0247_0012__GO] :
          ( r_0247_0010__we(R_0247_0010__WE)
          & r_0247_0013__fast(R_0247_0013__FAST)
          & r_0247_0011__must_r_0247_0012__go(R_0247_0011__MUST_R_0247_0012__GO)
          & has_clr35(R_0247_0011__MUST_R_0247_0012__GO,R_0247_0013__FAST)
          & has_arg0(R_0247_0011__MUST_R_0247_0012__GO,R_0247_0010__WE) ) ) ).


n247_a_dick_1952 n247_a_dick_1952__1_1_1 <ldquo> n247_a_dick_1952__1_2_1_1 If n247_a_dick_1952__1_2_2_1_1_1 we n247_a_dick_1952__1_2_2_2_1 expect n247_a_dick_1952__1_2_2_3_1_1 to n247_a_dick_1952__1_2_2_3_2_1 get n247_a_dick_1952__1_2_2_3_3_1_1 there n247_a_dick_1952__1_2_2_3_4_1_1 by n247_a_dick_1952__1_2_2_3_4_2_1_1 nightfall n247_a_dick_1952__1_3_1_1 we n247_a_dick_1952__1_4_1 must n247_a_dick_1952__1_5_1_1 go n247_a_dick_1952__1_5_2_1_1 fast n247_a_dick_1952__1_6_1 . n247_a_dick_1952__1_7_1 <rdquo> n247_a_dick_1952__1 IP-MAT n247_a_dick_1952__1_1 PULQ n247_a_dick_1952__1->n247_a_dick_1952__1_1 n247_a_dick_1952__1_2 PP-SCON n247_a_dick_1952__1->n247_a_dick_1952__1_2 n247_a_dick_1952__1_3 NP-SBJ n247_a_dick_1952__1->n247_a_dick_1952__1_3 n247_a_dick_1952__1_4 MD;_cat_Vi_ n247_a_dick_1952__1->n247_a_dick_1952__1_4 n247_a_dick_1952__1_5 IP-INF-CAT n247_a_dick_1952__1->n247_a_dick_1952__1_5 n247_a_dick_1952__1_6 PUNC n247_a_dick_1952__1->n247_a_dick_1952__1_6 n247_a_dick_1952__1_7 PURQ n247_a_dick_1952__1->n247_a_dick_1952__1_7 n247_a_dick_1952__1_1->n247_a_dick_1952__1_1_1 n247_a_dick_1952__1_2_1 P-CONN n247_a_dick_1952__1_2->n247_a_dick_1952__1_2_1 n247_a_dick_1952__1_2_2 IP-ADV n247_a_dick_1952__1_2->n247_a_dick_1952__1_2_2 n247_a_dick_1952__1_2_1->n247_a_dick_1952__1_2_1_1 n247_a_dick_1952__1_2_2_1 NP-SBJ n247_a_dick_1952__1_2_2->n247_a_dick_1952__1_2_2_1 n247_a_dick_1952__1_2_2_2 VBP;_Tt_ n247_a_dick_1952__1_2_2->n247_a_dick_1952__1_2_2_2 n247_a_dick_1952__1_2_2_3 IP-INF-OB1 n247_a_dick_1952__1_2_2->n247_a_dick_1952__1_2_2_3 n247_a_dick_1952__1_2_2_1_1 PRO n247_a_dick_1952__1_2_2_1->n247_a_dick_1952__1_2_2_1_1 n247_a_dick_1952__1_2_2_1_1->n247_a_dick_1952__1_2_2_1_1_1 n247_a_dick_1952__1_2_2_2->n247_a_dick_1952__1_2_2_2_1 n247_a_dick_1952__1_2_2_3_1 TO n247_a_dick_1952__1_2_2_3->n247_a_dick_1952__1_2_2_3_1 n247_a_dick_1952__1_2_2_3_2 VB;_Ip_ n247_a_dick_1952__1_2_2_3->n247_a_dick_1952__1_2_2_3_2 n247_a_dick_1952__1_2_2_3_3 ADVP-CLR n247_a_dick_1952__1_2_2_3->n247_a_dick_1952__1_2_2_3_3 n247_a_dick_1952__1_2_2_3_4 PP-NIM n247_a_dick_1952__1_2_2_3->n247_a_dick_1952__1_2_2_3_4 n247_a_dick_1952__1_2_2_3_1->n247_a_dick_1952__1_2_2_3_1_1 n247_a_dick_1952__1_2_2_3_2->n247_a_dick_1952__1_2_2_3_2_1 n247_a_dick_1952__1_2_2_3_3_1 ADV n247_a_dick_1952__1_2_2_3_3->n247_a_dick_1952__1_2_2_3_3_1 n247_a_dick_1952__1_2_2_3_3_1->n247_a_dick_1952__1_2_2_3_3_1_1 n247_a_dick_1952__1_2_2_3_4_1 P-ROLE n247_a_dick_1952__1_2_2_3_4->n247_a_dick_1952__1_2_2_3_4_1 n247_a_dick_1952__1_2_2_3_4_2 NP n247_a_dick_1952__1_2_2_3_4->n247_a_dick_1952__1_2_2_3_4_2 n247_a_dick_1952__1_2_2_3_4_1->n247_a_dick_1952__1_2_2_3_4_1_1 n247_a_dick_1952__1_2_2_3_4_2_1 N n247_a_dick_1952__1_2_2_3_4_2->n247_a_dick_1952__1_2_2_3_4_2_1 n247_a_dick_1952__1_2_2_3_4_2_1->n247_a_dick_1952__1_2_2_3_4_2_1_1 n247_a_dick_1952__1_3_1 PRO n247_a_dick_1952__1_3->n247_a_dick_1952__1_3_1 n247_a_dick_1952__1_3_1->n247_a_dick_1952__1_3_1_1 n247_a_dick_1952__1_4->n247_a_dick_1952__1_4_1 n247_a_dick_1952__1_5_1 VB;_Ip_ n247_a_dick_1952__1_5->n247_a_dick_1952__1_5_1 n247_a_dick_1952__1_5_2 ADVP-CLR n247_a_dick_1952__1_5->n247_a_dick_1952__1_5_2 n247_a_dick_1952__1_5_1->n247_a_dick_1952__1_5_1_1 n247_a_dick_1952__1_5_2_1 ADV n247_a_dick_1952__1_5_2->n247_a_dick_1952__1_5_2_1 n247_a_dick_1952__1_5_2_1->n247_a_dick_1952__1_5_2_1_1 n247_a_dick_1952__1_6->n247_a_dick_1952__1_6_1 n247_a_dick_1952__1_7->n247_a_dick_1952__1_7_1 
( (IP-MAT (PULQ <ldquo>)
          (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ;{DORLE_NASHA_TANCE} (PRO we;{we}))
                           (VBP;_Tt_ expect;{expect})
                           (IP-INF-OB1 (TO to;{to})
                                       (VB;_Ip_ get;{get[there]})
                                       (ADVP-CLR (ADV there;{there}))
                                       (PP-NIM (P-ROLE by;{by})
                                               (NP (N nightfall;{nightfall}))))))
          (NP-SBJ;{DORLE_NASHA_TANCE} (PRO we;{we}))
          (MD;_cat_Vi_ must;{must})
          (IP-INF-CAT (VB;_Ip_ go;{go[fast]})
                      (ADVP-CLR (ADV fast;{fast})))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 247_a_dick_1952))