Context                Previous, Next                Top


503_a_dick_1952
We'll fix the ship, then take off.

%3 r_0503_0002___apos_ll 'll z_000_503_a_dick_1952_8 r_0503_0002___apos_ll->z_000_503_a_dick_1952_8 [scope] r_0503_0003__fix fix z_000_503_a_dick_1952_8->r_0503_0003__fix [conj1] r_0503_0008__take_r_0503_0009__off take off z_000_503_a_dick_1952_8->r_0503_0008__take_r_0503_0009__off [conj2] r_0503_0001__We We r_0503_0003__fix->r_0503_0001__We [arg0] r_0503_0004__the_r_0503_0005__ship the ship r_0503_0003__fix->r_0503_0004__the_r_0503_0005__ship [arg1] r_0503_0008__take_r_0503_0009__off->r_0503_0001__We [arg0] r_0503_0007__then then r_0503_0008__take_r_0503_0009__off->r_0503_0007__then [nim] 
arc(r_0503_0002___apos_ll, z_000_503_a_dick_1952_8, scope).
arc(r_0503_0003__fix, r_0503_0001__We, arg0).
arc(r_0503_0003__fix, r_0503_0004__the_r_0503_0005__ship, arg1).
arc(r_0503_0008__take_r_0503_0009__off, r_0503_0001__We, arg0).
arc(r_0503_0008__take_r_0503_0009__off, r_0503_0007__then, nim21).
arc(z_000_503_a_dick_1952_8, r_0503_0003__fix, conj1).
arc(z_000_503_a_dick_1952_8, r_0503_0008__take_r_0503_0009__off, conj2).


%3 r_0503_0002___apos_ll 'll z_000_503_a_dick_1952_8 r_0503_0002___apos_ll->z_000_503_a_dick_1952_8 [keep_scope] r_0503_0003__fix fix z_000_503_a_dick_1952_8->r_0503_0003__fix [conj1] r_0503_0008__take_r_0503_0009__off take off z_000_503_a_dick_1952_8->r_0503_0008__take_r_0503_0009__off [conj2] r_0503_0001__We We r_0503_0003__fix->r_0503_0001__We [arg0] r_0503_0004__the_r_0503_0005__ship the ship r_0503_0003__fix->r_0503_0004__the_r_0503_0005__ship [arg1] r_0503_0008__take_r_0503_0009__off->r_0503_0001__We [arg0] r_0503_0007__then then r_0503_0008__take_r_0503_0009__off->r_0503_0007__then [nim] 
fof(formula,axiom,
    ~ ? [Z_503_A_DICK_1952_8,R_503_3_FIX,R_503_4_THE_SHIP,R_503_8_TAKE_OFF,R_503_1_WE,R_503_7_THEN] :
        ( the_ship(R_503_4_THE_SHIP)
        & we(R_503_1_WE)
        & then(R_503_7_THEN)
        & z_503_a_dick_1952_8(Z_503_A_DICK_1952_8)
        & conj1(Z_503_A_DICK_1952_8,R_503_3_FIX)
        & fix(R_503_3_FIX,R_503_1_WE,R_503_4_THE_SHIP)
        & conj2(Z_503_A_DICK_1952_8,R_503_8_TAKE_OFF)
        & take_off(R_503_8_TAKE_OFF,R_503_1_WE)
        & nim21(R_503_8_TAKE_OFF,R_503_7_THEN) ) ).


n503_a_dick_1952 n503_a_dick_1952_4 We n503_a_dick_1952_6 'll n503_a_dick_1952_11 fix n503_a_dick_1952_14 the n503_a_dick_1952_16 ship n503_a_dick_1952_18 , n503_a_dick_1952_23 then n503_a_dick_1952_25 take n503_a_dick_1952_27 off n503_a_dick_1952_29 . n503_a_dick_1952_1 IP-MAT n503_a_dick_1952_2 NP-SBJ n503_a_dick_1952_1->n503_a_dick_1952_2 n503_a_dick_1952_5 MD;_cat_Vi_ n503_a_dick_1952_1->n503_a_dick_1952_5 n503_a_dick_1952_7 IP-INF-CAT n503_a_dick_1952_1->n503_a_dick_1952_7 n503_a_dick_1952_28 PUNC n503_a_dick_1952_1->n503_a_dick_1952_28 n503_a_dick_1952_3 PRO n503_a_dick_1952_2->n503_a_dick_1952_3 n503_a_dick_1952_3->n503_a_dick_1952_4 n503_a_dick_1952_5->n503_a_dick_1952_6 n503_a_dick_1952_8 ILYR n503_a_dick_1952_7->n503_a_dick_1952_8 n503_a_dick_1952_9 ILYR n503_a_dick_1952_8->n503_a_dick_1952_9 n503_a_dick_1952_17 PUNC n503_a_dick_1952_8->n503_a_dick_1952_17 n503_a_dick_1952_19 CONJP n503_a_dick_1952_8->n503_a_dick_1952_19 n503_a_dick_1952_10 VB;_Tn_ n503_a_dick_1952_9->n503_a_dick_1952_10 n503_a_dick_1952_12 NP-OB1 n503_a_dick_1952_9->n503_a_dick_1952_12 n503_a_dick_1952_10->n503_a_dick_1952_11 n503_a_dick_1952_13 D n503_a_dick_1952_12->n503_a_dick_1952_13 n503_a_dick_1952_15 N n503_a_dick_1952_12->n503_a_dick_1952_15 n503_a_dick_1952_13->n503_a_dick_1952_14 n503_a_dick_1952_15->n503_a_dick_1952_16 n503_a_dick_1952_17->n503_a_dick_1952_18 n503_a_dick_1952_20 ILYR n503_a_dick_1952_19->n503_a_dick_1952_20 n503_a_dick_1952_21 ADVP-NIM n503_a_dick_1952_20->n503_a_dick_1952_21 n503_a_dick_1952_24 VB;_phr_Vp_ n503_a_dick_1952_20->n503_a_dick_1952_24 n503_a_dick_1952_26 RP n503_a_dick_1952_20->n503_a_dick_1952_26 n503_a_dick_1952_22 ADV n503_a_dick_1952_21->n503_a_dick_1952_22 n503_a_dick_1952_22->n503_a_dick_1952_23 n503_a_dick_1952_24->n503_a_dick_1952_25 n503_a_dick_1952_26->n503_a_dick_1952_27 n503_a_dick_1952_28->n503_a_dick_1952_29 
( (IP-MAT (NP-SBJ;{TRESPASSERS} (PRO We;{we}))
          (MD;_cat_Vi_ <apos>ll;{will})
          (IP-INF-CAT (ILYR (ILYR (VB;_Tn_ fix;{fix})
                                  (NP-OB1 (D the;{the})
                                          (N ship;{ship})))
                            (PUNC ,)
                            (CONJP (ILYR (ADVP-NIM (ADV then;{then}))
                                         (VB;_phr_Vp_ take;{take})
                                         (RP off;{off})))))
          (PUNC .))
  (ID 503_a_dick_1952))