Context                Previous, Next                Top


504_a_dick_1952
Soon we'll be home, that is, if nothing happens.

%3 r_0504_0003___apos_ll 'll r_0504_0001__Soon Soon r_0504_0003___apos_ll->r_0504_0001__Soon [nim] r_0504_0004__be be r_0504_0003___apos_ll->r_0504_0004__be [scope] r_0504_0002__we we r_0504_0004__be->r_0504_0002__we [arg0] r_0504_0005__home home r_0504_0004__be->r_0504_0005__home [clr] r_0504_0007__that_is_r_0504_0009__if that is if r_0504_0007__that_is_r_0504_0009__if->r_0504_0003___apos_ll [scope] r_0504_0010__nothing_quant nothing [quant] r_0504_0007__that_is_r_0504_0009__if->r_0504_0010__nothing_quant [restriction] r_0504_0011__happens happens r_0504_0010__nothing_quant->r_0504_0011__happens [scope] z_000_504_a_dick_1952_26 r_0504_0010__nothing_quant->z_000_504_a_dick_1952_26 [restriction] r_0504_0011__happens->z_000_504_a_dick_1952_26 [arg0] 
arc(r_0504_0003___apos_ll, r_0504_0001__Soon, nim2).
arc(r_0504_0003___apos_ll, r_0504_0004__be, scope).
arc(r_0504_0004__be, r_0504_0002__we, arg0).
arc(r_0504_0004__be, r_0504_0005__home, clr13).
arc(r_0504_0007__that_is_r_0504_0009__if, r_0504_0003___apos_ll, scope).
arc(r_0504_0007__that_is_r_0504_0009__if, r_0504_0010__nothing_quant, restriction).
arc(r_0504_0010__nothing_quant, r_0504_0011__happens, scope).
arc(r_0504_0010__nothing_quant, z_000_504_a_dick_1952_26, restriction).
arc(r_0504_0011__happens, z_000_504_a_dick_1952_26, arg0).


%3 r_0504_0003___apos_ll_r_0504_0004__be 'll be r_0504_0001__Soon Soon r_0504_0003___apos_ll_r_0504_0004__be->r_0504_0001__Soon [nim] r_0504_0002__we we r_0504_0003___apos_ll_r_0504_0004__be->r_0504_0002__we [arg0] r_0504_0005__home home r_0504_0003___apos_ll_r_0504_0004__be->r_0504_0005__home [clr] r_0504_0007__that_is_r_0504_0009__if that is if r_0504_0007__that_is_r_0504_0009__if->r_0504_0003___apos_ll_r_0504_0004__be [scope] r_0504_0010__nothing_quant nothing [quant] r_0504_0007__that_is_r_0504_0009__if->r_0504_0010__nothing_quant [restriction] r_0504_0011__happens happens r_0504_0010__nothing_quant->r_0504_0011__happens [scope] z_000_504_a_dick_1952_26 r_0504_0010__nothing_quant->z_000_504_a_dick_1952_26 [restriction] r_0504_0011__happens->z_000_504_a_dick_1952_26 [arg0] 
fof(formula,axiom,
    ( ! [Z_504_A_DICK_1952_26] :
        ( true
       => ? [R_504_11_HAPPENS] : happens(R_504_11_HAPPENS,Z_504_A_DICK_1952_26) )
   => ? [R_504_3__APOS_LL_BE,R_504_2_WE,R_504_5_HOME,R_504_1_SOON] :
        ( we(R_504_2_WE)
        & home(R_504_5_HOME)
        & soon(R_504_1_SOON)
        & _apos_ll_be(R_504_3__APOS_LL_BE,R_504_2_WE)
        & clr13(R_504_3__APOS_LL_BE,R_504_5_HOME)
        & nim2(R_504_3__APOS_LL_BE,R_504_1_SOON) ) ) ).


n504_a_dick_1952 n504_a_dick_1952_4 Soon n504_a_dick_1952_7 we n504_a_dick_1952_9 'll n504_a_dick_1952_12 be n504_a_dick_1952_15 home n504_a_dick_1952_17 , n504_a_dick_1952_20 that_is n504_a_dick_1952_22 , n504_a_dick_1952_24 if n504_a_dick_1952_28 nothing n504_a_dick_1952_30 happens n504_a_dick_1952_32 . n504_a_dick_1952_1 IP-MAT n504_a_dick_1952_2 ADVP-NIM n504_a_dick_1952_1->n504_a_dick_1952_2 n504_a_dick_1952_5 NP-SBJ n504_a_dick_1952_1->n504_a_dick_1952_5 n504_a_dick_1952_8 MD;_cat_Vi_ n504_a_dick_1952_1->n504_a_dick_1952_8 n504_a_dick_1952_10 IP-INF-CAT n504_a_dick_1952_1->n504_a_dick_1952_10 n504_a_dick_1952_16 PUNC n504_a_dick_1952_1->n504_a_dick_1952_16 n504_a_dick_1952_18 PP-SCON n504_a_dick_1952_1->n504_a_dick_1952_18 n504_a_dick_1952_31 PUNC n504_a_dick_1952_1->n504_a_dick_1952_31 n504_a_dick_1952_3 ADV n504_a_dick_1952_2->n504_a_dick_1952_3 n504_a_dick_1952_3->n504_a_dick_1952_4 n504_a_dick_1952_6 PRO n504_a_dick_1952_5->n504_a_dick_1952_6 n504_a_dick_1952_6->n504_a_dick_1952_7 n504_a_dick_1952_8->n504_a_dick_1952_9 n504_a_dick_1952_11 BE;_Ip_ n504_a_dick_1952_10->n504_a_dick_1952_11 n504_a_dick_1952_13 ADVP-CLR n504_a_dick_1952_10->n504_a_dick_1952_13 n504_a_dick_1952_11->n504_a_dick_1952_12 n504_a_dick_1952_14 ADV n504_a_dick_1952_13->n504_a_dick_1952_14 n504_a_dick_1952_14->n504_a_dick_1952_15 n504_a_dick_1952_16->n504_a_dick_1952_17 n504_a_dick_1952_19 ADV n504_a_dick_1952_18->n504_a_dick_1952_19 n504_a_dick_1952_21 PUNC n504_a_dick_1952_18->n504_a_dick_1952_21 n504_a_dick_1952_23 P-CONN n504_a_dick_1952_18->n504_a_dick_1952_23 n504_a_dick_1952_25 IP-ADV n504_a_dick_1952_18->n504_a_dick_1952_25 n504_a_dick_1952_19->n504_a_dick_1952_20 n504_a_dick_1952_21->n504_a_dick_1952_22 n504_a_dick_1952_23->n504_a_dick_1952_24 n504_a_dick_1952_26 NP-SBJ n504_a_dick_1952_25->n504_a_dick_1952_26 n504_a_dick_1952_29 VBP;_I_ n504_a_dick_1952_25->n504_a_dick_1952_29 n504_a_dick_1952_27 Q;_nphd_ n504_a_dick_1952_26->n504_a_dick_1952_27 n504_a_dick_1952_27->n504_a_dick_1952_28 n504_a_dick_1952_29->n504_a_dick_1952_30 n504_a_dick_1952_31->n504_a_dick_1952_32 
( (IP-MAT (ADVP-NIM (ADV Soon;{soon}))
          (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
          (MD;_cat_Vi_ <apos>ll;{will})
          (IP-INF-CAT (BE;_Ip_ be;{be})
                      (ADVP-CLR (ADV home;{home})))
          (PUNC ,)
          (PP-SCON (ADV that_is;{that_is})
                   (PUNC ,)
                   (P-CONN if;{if})
                   (IP-ADV (NP-SBJ (Q;_nphd_ nothing;{nothing}))
                           (VBP;_I_ happens;{happen})))
          (PUNC .))
  (ID 504_a_dick_1952))