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_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_0003__fix fix z_000_503_a_dick_1952_8->r_0503_0003__fix [conj1] r_0503_0007__then then r_0503_0008__take_r_0503_0009__off->r_0503_0007__then [nim] r_0503_0001__We We r_0503_0008__take_r_0503_0009__off->r_0503_0001__We [arg0] 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] 
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__1_1_1_1 We n503_a_dick_1952__1_2_1 'll n503_a_dick_1952__1_3_1_1_1_1 fix n503_a_dick_1952__1_3_1_1_2_1_1 the n503_a_dick_1952__1_3_1_1_2_2_1 ship n503_a_dick_1952__1_3_1_2_1 , n503_a_dick_1952__1_3_1_3_1_1_1_1 then n503_a_dick_1952__1_3_1_3_1_2_1 take n503_a_dick_1952__1_3_1_3_1_3_1 off n503_a_dick_1952__1_4_1 . n503_a_dick_1952__1 IP-MAT n503_a_dick_1952__1_1 NP-SBJ n503_a_dick_1952__1->n503_a_dick_1952__1_1 n503_a_dick_1952__1_2 MD;_cat_Vi_ n503_a_dick_1952__1->n503_a_dick_1952__1_2 n503_a_dick_1952__1_3 IP-INF-CAT n503_a_dick_1952__1->n503_a_dick_1952__1_3 n503_a_dick_1952__1_4 PUNC n503_a_dick_1952__1->n503_a_dick_1952__1_4 n503_a_dick_1952__1_1_1 PRO n503_a_dick_1952__1_1->n503_a_dick_1952__1_1_1 n503_a_dick_1952__1_1_1->n503_a_dick_1952__1_1_1_1 n503_a_dick_1952__1_2->n503_a_dick_1952__1_2_1 n503_a_dick_1952__1_3_1 ILYR n503_a_dick_1952__1_3->n503_a_dick_1952__1_3_1 n503_a_dick_1952__1_3_1_1 ILYR n503_a_dick_1952__1_3_1->n503_a_dick_1952__1_3_1_1 n503_a_dick_1952__1_3_1_2 PUNC n503_a_dick_1952__1_3_1->n503_a_dick_1952__1_3_1_2 n503_a_dick_1952__1_3_1_3 CONJP n503_a_dick_1952__1_3_1->n503_a_dick_1952__1_3_1_3 n503_a_dick_1952__1_3_1_1_1 VB;_Tn_ n503_a_dick_1952__1_3_1_1->n503_a_dick_1952__1_3_1_1_1 n503_a_dick_1952__1_3_1_1_2 NP-OB1 n503_a_dick_1952__1_3_1_1->n503_a_dick_1952__1_3_1_1_2 n503_a_dick_1952__1_3_1_1_1->n503_a_dick_1952__1_3_1_1_1_1 n503_a_dick_1952__1_3_1_1_2_1 D n503_a_dick_1952__1_3_1_1_2->n503_a_dick_1952__1_3_1_1_2_1 n503_a_dick_1952__1_3_1_1_2_2 N n503_a_dick_1952__1_3_1_1_2->n503_a_dick_1952__1_3_1_1_2_2 n503_a_dick_1952__1_3_1_1_2_1->n503_a_dick_1952__1_3_1_1_2_1_1 n503_a_dick_1952__1_3_1_1_2_2->n503_a_dick_1952__1_3_1_1_2_2_1 n503_a_dick_1952__1_3_1_2->n503_a_dick_1952__1_3_1_2_1 n503_a_dick_1952__1_3_1_3_1 ILYR n503_a_dick_1952__1_3_1_3->n503_a_dick_1952__1_3_1_3_1 n503_a_dick_1952__1_3_1_3_1_1 ADVP-NIM n503_a_dick_1952__1_3_1_3_1->n503_a_dick_1952__1_3_1_3_1_1 n503_a_dick_1952__1_3_1_3_1_2 VB;_phr_Vp_ n503_a_dick_1952__1_3_1_3_1->n503_a_dick_1952__1_3_1_3_1_2 n503_a_dick_1952__1_3_1_3_1_3 RP n503_a_dick_1952__1_3_1_3_1->n503_a_dick_1952__1_3_1_3_1_3 n503_a_dick_1952__1_3_1_3_1_1_1 ADV n503_a_dick_1952__1_3_1_3_1_1->n503_a_dick_1952__1_3_1_3_1_1_1 n503_a_dick_1952__1_3_1_3_1_1_1->n503_a_dick_1952__1_3_1_3_1_1_1_1 n503_a_dick_1952__1_3_1_3_1_2->n503_a_dick_1952__1_3_1_3_1_2_1 n503_a_dick_1952__1_3_1_3_1_3->n503_a_dick_1952__1_3_1_3_1_3_1 n503_a_dick_1952__1_4->n503_a_dick_1952__1_4_1 
( (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))