92_a_dick_1952
we've got to land the ship!”

%3 r_0092_0002___apos_ve 've r_0092_0003__got got r_0092_0002___apos_ve->r_0092_0003__got [scope] r_0092_0004__to_r_0092_0005__land to land r_0092_0003__got->r_0092_0004__to_r_0092_0005__land [scope] r_0092_0001__we we r_0092_0004__to_r_0092_0005__land->r_0092_0001__we [arg0] r_0092_0006__the_r_0092_0007__ship the ship r_0092_0004__to_r_0092_0005__land->r_0092_0006__the_r_0092_0007__ship [arg1]
arc(r_0092_0002___apos_ve, r_0092_0003__got, scope).
arc(r_0092_0003__got, r_0092_0004__to_r_0092_0005__land, scope).
arc(r_0092_0004__to_r_0092_0005__land, r_0092_0001__we, arg0).
arc(r_0092_0004__to_r_0092_0005__land, r_0092_0006__the_r_0092_0007__ship, arg1).



%3 r_0092_0002___apos_ve_r_0092_0003__got_r_0092_0004__to_r_0092_0005__land 've got to land r_0092_0001__we we r_0092_0002___apos_ve_r_0092_0003__got_r_0092_0004__to_r_0092_0005__land->r_0092_0001__we [arg0] r_0092_0006__the_r_0092_0007__ship the ship r_0092_0002___apos_ve_r_0092_0003__got_r_0092_0004__to_r_0092_0005__land->r_0092_0006__the_r_0092_0007__ship [arg1]
fof(formula,axiom,
    ? [R_92_2__APOS_VE_GOT_TO_LAND,R_92_1_WE,R_92_6_THE_SHIP] :
      ( we(R_92_1_WE)
      & the_ship(R_92_6_THE_SHIP)
      & _apos_ve_got_to_land(R_92_2__APOS_VE_GOT_TO_LAND,R_92_1_WE,R_92_6_THE_SHIP) ) ).



n92_a_dick_1952 n92_a_dick_1952_4 we n92_a_dick_1952_6 've n92_a_dick_1952_9 got n92_a_dick_1952_12 to n92_a_dick_1952_14 land n92_a_dick_1952_17 the n92_a_dick_1952_19 ship n92_a_dick_1952_21 ! n92_a_dick_1952_23 <rdquo> n92_a_dick_1952_1 IP-MAT n92_a_dick_1952_2 NP-SBJ n92_a_dick_1952_1->n92_a_dick_1952_2 n92_a_dick_1952_5 HVP;_cat_Ve_ n92_a_dick_1952_1->n92_a_dick_1952_5 n92_a_dick_1952_7 IP-PPL-CAT n92_a_dick_1952_1->n92_a_dick_1952_7 n92_a_dick_1952_20 PUNC n92_a_dick_1952_1->n92_a_dick_1952_20 n92_a_dick_1952_22 PURQ n92_a_dick_1952_1->n92_a_dick_1952_22 n92_a_dick_1952_3 PRO n92_a_dick_1952_2->n92_a_dick_1952_3 n92_a_dick_1952_3->n92_a_dick_1952_4 n92_a_dick_1952_5->n92_a_dick_1952_6 n92_a_dick_1952_8 VVN;_cat_Vt_ n92_a_dick_1952_7->n92_a_dick_1952_8 n92_a_dick_1952_10 IP-INF-CAT n92_a_dick_1952_7->n92_a_dick_1952_10 n92_a_dick_1952_8->n92_a_dick_1952_9 n92_a_dick_1952_11 TO n92_a_dick_1952_10->n92_a_dick_1952_11 n92_a_dick_1952_13 VB;_Tn_ n92_a_dick_1952_10->n92_a_dick_1952_13 n92_a_dick_1952_15 NP-OB1 n92_a_dick_1952_10->n92_a_dick_1952_15 n92_a_dick_1952_11->n92_a_dick_1952_12 n92_a_dick_1952_13->n92_a_dick_1952_14 n92_a_dick_1952_16 D n92_a_dick_1952_15->n92_a_dick_1952_16 n92_a_dick_1952_18 N n92_a_dick_1952_15->n92_a_dick_1952_18 n92_a_dick_1952_16->n92_a_dick_1952_17 n92_a_dick_1952_18->n92_a_dick_1952_19 n92_a_dick_1952_20->n92_a_dick_1952_21 n92_a_dick_1952_22->n92_a_dick_1952_23
( (IP-MAT (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
          (HVP;_cat_Ve_ <apos>ve;{have})
          (IP-PPL-CAT (VVN;_cat_Vt_ got;{get})
                      (IP-INF-CAT (TO to;{to})
                                  (VB;_Tn_ land;{land})
                                  (NP-OB1 (D the;{the})
                                          (N ship;{ship}))))
          (PUNC !)
          (PURQ <rdquo>))
  (ID 92_a_dick_1952))