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_0011__happens happens z_000_504_a_dick_1952_26 r_0504_0011__happens->z_000_504_a_dick_1952_26 [arg0] r_0504_0010__nothing_quant nothing [quant] r_0504_0010__nothing_quant->r_0504_0011__happens [scope] r_0504_0010__nothing_quant->z_000_504_a_dick_1952_26 [restriction] r_0504_0007__that_is_r_0504_0009__if that is if r_0504_0007__that_is_r_0504_0009__if->r_0504_0010__nothing_quant [restriction] r_0504_0003___apos_ll_r_0504_0004__be 'll be r_0504_0007__that_is_r_0504_0009__if->r_0504_0003___apos_ll_r_0504_0004__be [scope] r_0504_0005__home home r_0504_0003___apos_ll_r_0504_0004__be->r_0504_0005__home [clr] r_0504_0002__we we r_0504_0003___apos_ll_r_0504_0004__be->r_0504_0002__we [arg0] r_0504_0001__Soon Soon r_0504_0003___apos_ll_r_0504_0004__be->r_0504_0001__Soon [nim] 
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__1_1_1_1 Soon n504_a_dick_1952__1_2_1_1 we n504_a_dick_1952__1_3_1 'll n504_a_dick_1952__1_4_1_1 be n504_a_dick_1952__1_4_2_1_1 home n504_a_dick_1952__1_5_1 , n504_a_dick_1952__1_6_1_1 that_is n504_a_dick_1952__1_6_2_1 , n504_a_dick_1952__1_6_3_1 if n504_a_dick_1952__1_6_4_1_1_1 nothing n504_a_dick_1952__1_6_4_2_1 happens n504_a_dick_1952__1_7_1 . n504_a_dick_1952__1 IP-MAT n504_a_dick_1952__1_1 ADVP-NIM n504_a_dick_1952__1->n504_a_dick_1952__1_1 n504_a_dick_1952__1_2 NP-SBJ n504_a_dick_1952__1->n504_a_dick_1952__1_2 n504_a_dick_1952__1_3 MD;_cat_Vi_ n504_a_dick_1952__1->n504_a_dick_1952__1_3 n504_a_dick_1952__1_4 IP-INF-CAT n504_a_dick_1952__1->n504_a_dick_1952__1_4 n504_a_dick_1952__1_5 PUNC n504_a_dick_1952__1->n504_a_dick_1952__1_5 n504_a_dick_1952__1_6 PP-SCON n504_a_dick_1952__1->n504_a_dick_1952__1_6 n504_a_dick_1952__1_7 PUNC n504_a_dick_1952__1->n504_a_dick_1952__1_7 n504_a_dick_1952__1_1_1 ADV n504_a_dick_1952__1_1->n504_a_dick_1952__1_1_1 n504_a_dick_1952__1_1_1->n504_a_dick_1952__1_1_1_1 n504_a_dick_1952__1_2_1 PRO n504_a_dick_1952__1_2->n504_a_dick_1952__1_2_1 n504_a_dick_1952__1_2_1->n504_a_dick_1952__1_2_1_1 n504_a_dick_1952__1_3->n504_a_dick_1952__1_3_1 n504_a_dick_1952__1_4_1 BE;_Ip_ n504_a_dick_1952__1_4->n504_a_dick_1952__1_4_1 n504_a_dick_1952__1_4_2 ADVP-CLR n504_a_dick_1952__1_4->n504_a_dick_1952__1_4_2 n504_a_dick_1952__1_4_1->n504_a_dick_1952__1_4_1_1 n504_a_dick_1952__1_4_2_1 ADV n504_a_dick_1952__1_4_2->n504_a_dick_1952__1_4_2_1 n504_a_dick_1952__1_4_2_1->n504_a_dick_1952__1_4_2_1_1 n504_a_dick_1952__1_5->n504_a_dick_1952__1_5_1 n504_a_dick_1952__1_6_1 ADV n504_a_dick_1952__1_6->n504_a_dick_1952__1_6_1 n504_a_dick_1952__1_6_2 PUNC n504_a_dick_1952__1_6->n504_a_dick_1952__1_6_2 n504_a_dick_1952__1_6_3 P-CONN n504_a_dick_1952__1_6->n504_a_dick_1952__1_6_3 n504_a_dick_1952__1_6_4 IP-ADV n504_a_dick_1952__1_6->n504_a_dick_1952__1_6_4 n504_a_dick_1952__1_6_1->n504_a_dick_1952__1_6_1_1 n504_a_dick_1952__1_6_2->n504_a_dick_1952__1_6_2_1 n504_a_dick_1952__1_6_3->n504_a_dick_1952__1_6_3_1 n504_a_dick_1952__1_6_4_1 NP-SBJ n504_a_dick_1952__1_6_4->n504_a_dick_1952__1_6_4_1 n504_a_dick_1952__1_6_4_2 VBP;_I_ n504_a_dick_1952__1_6_4->n504_a_dick_1952__1_6_4_2 n504_a_dick_1952__1_6_4_1_1 Q;_nphd_ n504_a_dick_1952__1_6_4_1->n504_a_dick_1952__1_6_4_1_1 n504_a_dick_1952__1_6_4_1_1->n504_a_dick_1952__1_6_4_1_1_1 n504_a_dick_1952__1_6_4_2->n504_a_dick_1952__1_6_4_2_1 n504_a_dick_1952__1_7->n504_a_dick_1952__1_7_1 
( (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))