Context                Previous, Next                Top


514_a_dick_1952
As soon as we leave the ground we'll be shot down.”

%3 r_0514_0001__As_soon_as As soon as r_0514_0003__leave leave r_0514_0001__As_soon_as->r_0514_0003__leave [restriction] r_0514_0007___apos_ll 'll r_0514_0001__As_soon_as->r_0514_0007___apos_ll [scope] r_0514_0002__we we r_0514_0003__leave->r_0514_0002__we [arg0] r_0514_0004__the_r_0514_0005__ground the ground r_0514_0003__leave->r_0514_0004__the_r_0514_0005__ground [arg1] r_0514_0008__be be r_0514_0007___apos_ll->r_0514_0008__be [scope] r_0514_0009__shot_r_0514_0010__down shot down r_0514_0008__be->r_0514_0009__shot_r_0514_0010__down [scope] r_0514_0006__we we r_0514_0009__shot_r_0514_0010__down->r_0514_0006__we [arg1] z_000_514_a_dick_1952_25 r_0514_0009__shot_r_0514_0010__down->z_000_514_a_dick_1952_25 [arg0] 
arc(r_0514_0001__As_soon_as, r_0514_0003__leave, restriction).
arc(r_0514_0001__As_soon_as, r_0514_0007___apos_ll, scope).
arc(r_0514_0003__leave, r_0514_0002__we, arg0).
arc(r_0514_0003__leave, r_0514_0004__the_r_0514_0005__ground, arg1).
arc(r_0514_0007___apos_ll, r_0514_0008__be, scope).
arc(r_0514_0008__be, r_0514_0009__shot_r_0514_0010__down, scope).
arc(r_0514_0009__shot_r_0514_0010__down, r_0514_0006__we, arg1).
arc(r_0514_0009__shot_r_0514_0010__down, z_000_514_a_dick_1952_25, arg0).


%3 r_0514_0007___apos_ll_r_0514_0008__be_r_0514_0009__shot_r_0514_0010__down 'll be shot down z_000_514_a_dick_1952_25 r_0514_0007___apos_ll_r_0514_0008__be_r_0514_0009__shot_r_0514_0010__down->z_000_514_a_dick_1952_25 [arg0] r_0514_0006__we we r_0514_0007___apos_ll_r_0514_0008__be_r_0514_0009__shot_r_0514_0010__down->r_0514_0006__we [arg1] r_0514_0003__leave leave r_0514_0004__the_r_0514_0005__ground the ground r_0514_0003__leave->r_0514_0004__the_r_0514_0005__ground [arg1] r_0514_0002__we we r_0514_0003__leave->r_0514_0002__we [arg0] r_0514_0001__As_soon_as As soon as r_0514_0001__As_soon_as->r_0514_0007___apos_ll_r_0514_0008__be_r_0514_0009__shot_r_0514_0010__down [conj2] r_0514_0001__As_soon_as->r_0514_0003__leave [conj1] 
fof(formula,axiom,
    ? [R_514_1_AS_SOON_AS,R_514_3_LEAVE,R_514_2_WE,R_514_4_THE_GROUND,R_514_7__APOS_LL_BE_SHOT_DOWN,Z_514_A_DICK_1952_25,R_514_6_WE] :
      ( we(R_514_2_WE)
      & the_ground(R_514_4_THE_GROUND)
      & we(R_514_6_WE)
      & as_soon_as(R_514_1_AS_SOON_AS)
      & conj1(R_514_1_AS_SOON_AS,R_514_3_LEAVE)
      & leave(R_514_3_LEAVE,R_514_2_WE,R_514_4_THE_GROUND)
      & conj2(R_514_1_AS_SOON_AS,R_514_7__APOS_LL_BE_SHOT_DOWN)
      & _apos_ll_be_shot_down(R_514_7__APOS_LL_BE_SHOT_DOWN,Z_514_A_DICK_1952_25,R_514_6_WE) ) ).


n514_a_dick_1952 n514_a_dick_1952__1_1_1_1 As_soon_as n514_a_dick_1952__1_1_2_1_1_1 we n514_a_dick_1952__1_1_2_2_1 leave n514_a_dick_1952__1_1_2_3_1_1 the n514_a_dick_1952__1_1_2_3_2_1 ground n514_a_dick_1952__1_2_1_1 we n514_a_dick_1952__1_3_1 'll n514_a_dick_1952__1_4_1_1 be n514_a_dick_1952__1_4_2_1_1 * n514_a_dick_1952__1_4_2_2_1 shot n514_a_dick_1952__1_4_2_3_1 down n514_a_dick_1952__1_5_1 . n514_a_dick_1952__1_6_1 <rdquo> n514_a_dick_1952__1 IP-MAT n514_a_dick_1952__1_1 PP-SCON n514_a_dick_1952__1->n514_a_dick_1952__1_1 n514_a_dick_1952__1_2 NP-SBJ n514_a_dick_1952__1->n514_a_dick_1952__1_2 n514_a_dick_1952__1_3 MD;_cat_Vi_ n514_a_dick_1952__1->n514_a_dick_1952__1_3 n514_a_dick_1952__1_4 IP-INF-CAT n514_a_dick_1952__1->n514_a_dick_1952__1_4 n514_a_dick_1952__1_5 PUNC n514_a_dick_1952__1->n514_a_dick_1952__1_5 n514_a_dick_1952__1_6 PURQ n514_a_dick_1952__1->n514_a_dick_1952__1_6 n514_a_dick_1952__1_1_1 P-CONN n514_a_dick_1952__1_1->n514_a_dick_1952__1_1_1 n514_a_dick_1952__1_1_2 IP-ADV n514_a_dick_1952__1_1->n514_a_dick_1952__1_1_2 n514_a_dick_1952__1_1_1->n514_a_dick_1952__1_1_1_1 n514_a_dick_1952__1_1_2_1 NP-SBJ n514_a_dick_1952__1_1_2->n514_a_dick_1952__1_1_2_1 n514_a_dick_1952__1_1_2_2 VBP;_Tn_ n514_a_dick_1952__1_1_2->n514_a_dick_1952__1_1_2_2 n514_a_dick_1952__1_1_2_3 NP-OB1 n514_a_dick_1952__1_1_2->n514_a_dick_1952__1_1_2_3 n514_a_dick_1952__1_1_2_1_1 PRO n514_a_dick_1952__1_1_2_1->n514_a_dick_1952__1_1_2_1_1 n514_a_dick_1952__1_1_2_1_1->n514_a_dick_1952__1_1_2_1_1_1 n514_a_dick_1952__1_1_2_2->n514_a_dick_1952__1_1_2_2_1 n514_a_dick_1952__1_1_2_3_1 D n514_a_dick_1952__1_1_2_3->n514_a_dick_1952__1_1_2_3_1 n514_a_dick_1952__1_1_2_3_2 N n514_a_dick_1952__1_1_2_3->n514_a_dick_1952__1_1_2_3_2 n514_a_dick_1952__1_1_2_3_1->n514_a_dick_1952__1_1_2_3_1_1 n514_a_dick_1952__1_1_2_3_2->n514_a_dick_1952__1_1_2_3_2_1 n514_a_dick_1952__1_2_1 PRO n514_a_dick_1952__1_2->n514_a_dick_1952__1_2_1 n514_a_dick_1952__1_2_1->n514_a_dick_1952__1_2_1_1 n514_a_dick_1952__1_3->n514_a_dick_1952__1_3_1 n514_a_dick_1952__1_4_1 BE;_cat_VePASS_ n514_a_dick_1952__1_4->n514_a_dick_1952__1_4_1 n514_a_dick_1952__1_4_2 IP-PPL-CAT n514_a_dick_1952__1_4->n514_a_dick_1952__1_4_2 n514_a_dick_1952__1_4_1->n514_a_dick_1952__1_4_1_1 n514_a_dick_1952__1_4_2_1 NP-LGS n514_a_dick_1952__1_4_2->n514_a_dick_1952__1_4_2_1 n514_a_dick_1952__1_4_2_2 VVN;_phr_Vp_ n514_a_dick_1952__1_4_2->n514_a_dick_1952__1_4_2_2 n514_a_dick_1952__1_4_2_3 RP n514_a_dick_1952__1_4_2->n514_a_dick_1952__1_4_2_3 n514_a_dick_1952__1_4_2_1->n514_a_dick_1952__1_4_2_1_1 n514_a_dick_1952__1_4_2_2->n514_a_dick_1952__1_4_2_2_1 n514_a_dick_1952__1_4_2_3->n514_a_dick_1952__1_4_2_3_1 n514_a_dick_1952__1_5->n514_a_dick_1952__1_5_1 n514_a_dick_1952__1_6->n514_a_dick_1952__1_6_1 
( (IP-MAT (PP-SCON (P-CONN As_soon_as;{as_soon_as})
                   (IP-ADV (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                           (VBP;_Tn_ leave;{leave})
                           (NP-OB1 (D the;{the})
                                   (N ground;{ground}))))
          (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
          (MD;_cat_Vi_ <apos>ll;{will})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_phr_Vp_ shot;{shoot})
                                  (RP down;{down})))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 514_a_dick_1952))