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_0002__If If r_0247_0004__expect expect r_0247_0002__If->r_0247_0004__expect [restriction] r_0247_0011__must_r_0247_0012__go must go r_0247_0002__If->r_0247_0011__must_r_0247_0012__go [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_0010__we we r_0247_0011__must_r_0247_0012__go->r_0247_0010__we [arg0] r_0247_0013__fast fast r_0247_0011__must_r_0247_0012__go->r_0247_0013__fast [clr] 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] 
fof(formula,axiom,
    ! [R_247_4_EXPECT,R_247_5_TO_GET,R_247_3_WE,R_247_7_THERE,R_247_9_NIGHTFALL] :
      ( ( we(R_247_3_WE)
        & there(R_247_7_THERE)
        & nightfall(R_247_9_NIGHTFALL)
        & expect(R_247_4_EXPECT,R_247_3_WE,R_247_5_TO_GET)
        & to_get(R_247_5_TO_GET,R_247_3_WE)
        & clr18(R_247_5_TO_GET,R_247_7_THERE)
        & by_nim24(R_247_5_TO_GET,R_247_9_NIGHTFALL) )
     => ? [R_247_11_MUST_GO,R_247_10_WE,R_247_13_FAST] :
          ( we(R_247_10_WE)
          & fast(R_247_13_FAST)
          & must_go(R_247_11_MUST_GO,R_247_10_WE)
          & clr35(R_247_11_MUST_GO,R_247_13_FAST) ) ) ).


n247_a_dick_1952 n247_a_dick_1952_3 <ldquo> n247_a_dick_1952_6 If n247_a_dick_1952_10 we n247_a_dick_1952_12 expect n247_a_dick_1952_15 to n247_a_dick_1952_17 get n247_a_dick_1952_20 there n247_a_dick_1952_23 by n247_a_dick_1952_26 nightfall n247_a_dick_1952_29 we n247_a_dick_1952_31 must n247_a_dick_1952_34 go n247_a_dick_1952_37 fast n247_a_dick_1952_39 . n247_a_dick_1952_41 <rdquo> n247_a_dick_1952_1 IP-MAT n247_a_dick_1952_2 PULQ n247_a_dick_1952_1->n247_a_dick_1952_2 n247_a_dick_1952_4 PP-SCON n247_a_dick_1952_1->n247_a_dick_1952_4 n247_a_dick_1952_27 NP-SBJ n247_a_dick_1952_1->n247_a_dick_1952_27 n247_a_dick_1952_30 MD;_cat_Vi_ n247_a_dick_1952_1->n247_a_dick_1952_30 n247_a_dick_1952_32 IP-INF-CAT n247_a_dick_1952_1->n247_a_dick_1952_32 n247_a_dick_1952_38 PUNC n247_a_dick_1952_1->n247_a_dick_1952_38 n247_a_dick_1952_40 PURQ n247_a_dick_1952_1->n247_a_dick_1952_40 n247_a_dick_1952_2->n247_a_dick_1952_3 n247_a_dick_1952_5 P-CONN n247_a_dick_1952_4->n247_a_dick_1952_5 n247_a_dick_1952_7 IP-ADV n247_a_dick_1952_4->n247_a_dick_1952_7 n247_a_dick_1952_5->n247_a_dick_1952_6 n247_a_dick_1952_8 NP-SBJ n247_a_dick_1952_7->n247_a_dick_1952_8 n247_a_dick_1952_11 VBP;_Tt_ n247_a_dick_1952_7->n247_a_dick_1952_11 n247_a_dick_1952_13 IP-INF-OB1 n247_a_dick_1952_7->n247_a_dick_1952_13 n247_a_dick_1952_9 PRO n247_a_dick_1952_8->n247_a_dick_1952_9 n247_a_dick_1952_9->n247_a_dick_1952_10 n247_a_dick_1952_11->n247_a_dick_1952_12 n247_a_dick_1952_14 TO n247_a_dick_1952_13->n247_a_dick_1952_14 n247_a_dick_1952_16 VB;_Ip_ n247_a_dick_1952_13->n247_a_dick_1952_16 n247_a_dick_1952_18 ADVP-CLR n247_a_dick_1952_13->n247_a_dick_1952_18 n247_a_dick_1952_21 PP-NIM n247_a_dick_1952_13->n247_a_dick_1952_21 n247_a_dick_1952_14->n247_a_dick_1952_15 n247_a_dick_1952_16->n247_a_dick_1952_17 n247_a_dick_1952_19 ADV n247_a_dick_1952_18->n247_a_dick_1952_19 n247_a_dick_1952_19->n247_a_dick_1952_20 n247_a_dick_1952_22 P-ROLE n247_a_dick_1952_21->n247_a_dick_1952_22 n247_a_dick_1952_24 NP n247_a_dick_1952_21->n247_a_dick_1952_24 n247_a_dick_1952_22->n247_a_dick_1952_23 n247_a_dick_1952_25 N n247_a_dick_1952_24->n247_a_dick_1952_25 n247_a_dick_1952_25->n247_a_dick_1952_26 n247_a_dick_1952_28 PRO n247_a_dick_1952_27->n247_a_dick_1952_28 n247_a_dick_1952_28->n247_a_dick_1952_29 n247_a_dick_1952_30->n247_a_dick_1952_31 n247_a_dick_1952_33 VB;_Ip_ n247_a_dick_1952_32->n247_a_dick_1952_33 n247_a_dick_1952_35 ADVP-CLR n247_a_dick_1952_32->n247_a_dick_1952_35 n247_a_dick_1952_33->n247_a_dick_1952_34 n247_a_dick_1952_36 ADV n247_a_dick_1952_35->n247_a_dick_1952_36 n247_a_dick_1952_36->n247_a_dick_1952_37 n247_a_dick_1952_38->n247_a_dick_1952_39 n247_a_dick_1952_40->n247_a_dick_1952_41 
( (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))