Context                Previous, Next                Top


509_a_dick_1952
all this must be taken back home, sooner or later.

%3 r_0509_0001__all_quant all [quant] r_0509_0002__this this r_0509_0001__all_quant->r_0509_0002__this [restriction] r_0509_0003__must must r_0509_0001__all_quant->r_0509_0003__must [scope] r_0509_0004__be be r_0509_0003__must->r_0509_0004__be [scope] r_0509_0005__taken taken r_0509_0004__be->r_0509_0005__taken [scope] r_0509_0005__taken->r_0509_0002__this [arg1] r_0509_0007__home home r_0509_0005__taken->r_0509_0007__home [clr] r_0509_0010__or or r_0509_0005__taken->r_0509_0010__or [nim] z_000_509_a_dick_1952_13 r_0509_0005__taken->z_000_509_a_dick_1952_13 [arg0] r_0509_0006__back back r_0509_0007__home->r_0509_0006__back [qual] r_0509_0009__sooner sooner r_0509_0010__or->r_0509_0009__sooner [conj1] r_0509_0011__later later r_0509_0010__or->r_0509_0011__later [conj2] 
arc(r_0509_0001__all_quant, r_0509_0002__this, restriction).
arc(r_0509_0001__all_quant, r_0509_0003__must, scope).
arc(r_0509_0003__must, r_0509_0004__be, scope).
arc(r_0509_0004__be, r_0509_0005__taken, scope).
arc(r_0509_0005__taken, r_0509_0002__this, arg1).
arc(r_0509_0005__taken, r_0509_0007__home, clr17).
arc(r_0509_0005__taken, r_0509_0010__or, nim25).
arc(r_0509_0005__taken, z_000_509_a_dick_1952_13, arg0).
arc(r_0509_0007__home, r_0509_0006__back, qual18).
arc(r_0509_0010__or, r_0509_0009__sooner, conj1).
arc(r_0509_0010__or, r_0509_0011__later, conj2).


%3 r_0509_0010__or or r_0509_0011__later later r_0509_0010__or->r_0509_0011__later [conj2] r_0509_0009__sooner sooner r_0509_0010__or->r_0509_0009__sooner [conj1] r_0509_0007__home home r_0509_0006__back back r_0509_0007__home->r_0509_0006__back [qual] r_0509_0003__must_r_0509_0004__be_r_0509_0005__taken must be taken r_0509_0003__must_r_0509_0004__be_r_0509_0005__taken->r_0509_0010__or [nim] r_0509_0003__must_r_0509_0004__be_r_0509_0005__taken->r_0509_0007__home [clr] z_000_509_a_dick_1952_13 r_0509_0003__must_r_0509_0004__be_r_0509_0005__taken->z_000_509_a_dick_1952_13 [arg0] r_0509_0002__this this r_0509_0003__must_r_0509_0004__be_r_0509_0005__taken->r_0509_0002__this [arg1] r_0509_0001__all_quant all [quant] r_0509_0001__all_quant->r_0509_0003__must_r_0509_0004__be_r_0509_0005__taken [scope] r_0509_0001__all_quant->r_0509_0002__this [restriction] 
fof(formula,axiom,
    ! [R_509_2_THIS] :
      ( this(R_509_2_THIS)
     => ? [R_509_3_MUST_BE_TAKEN,Z_509_A_DICK_1952_13,R_509_7_HOME,R_509_6_BACK,R_509_10_OR,R_509_9_SOONER,R_509_11_LATER] :
          ( back(R_509_6_BACK)
          & sooner(R_509_9_SOONER)
          & later(R_509_11_LATER)
          & must_be_taken(R_509_3_MUST_BE_TAKEN,Z_509_A_DICK_1952_13,R_509_2_THIS)
          & clr17(R_509_3_MUST_BE_TAKEN,R_509_7_HOME)
          & home(R_509_7_HOME)
          & qual18(R_509_7_HOME,R_509_6_BACK)
          & nim25(R_509_3_MUST_BE_TAKEN,R_509_10_OR)
          & or(R_509_10_OR)
          & conj1(R_509_10_OR,R_509_9_SOONER)
          & conj2(R_509_10_OR,R_509_11_LATER) ) ) ).


n509_a_dick_1952 n509_a_dick_1952__1_1_1_1 all n509_a_dick_1952__1_1_2_1 this n509_a_dick_1952__1_2_1 must n509_a_dick_1952__1_3_1_1 be n509_a_dick_1952__1_3_2_1_1 * n509_a_dick_1952__1_3_2_2_1 taken n509_a_dick_1952__1_3_2_3_1_1_1 back n509_a_dick_1952__1_3_2_3_2_1 home n509_a_dick_1952__1_3_2_4_1 , n509_a_dick_1952__1_3_2_5_1_1_1_1 sooner n509_a_dick_1952__1_3_2_5_1_2_1_1 or n509_a_dick_1952__1_3_2_5_1_2_2_1_1 later n509_a_dick_1952__1_4_1 . n509_a_dick_1952__1 IP-MAT n509_a_dick_1952__1_1 NP-SBJ n509_a_dick_1952__1->n509_a_dick_1952__1_1 n509_a_dick_1952__1_2 MD;_cat_Vi_ n509_a_dick_1952__1->n509_a_dick_1952__1_2 n509_a_dick_1952__1_3 IP-INF-CAT n509_a_dick_1952__1->n509_a_dick_1952__1_3 n509_a_dick_1952__1_4 PUNC n509_a_dick_1952__1->n509_a_dick_1952__1_4 n509_a_dick_1952__1_1_1 Q;_nphd_ n509_a_dick_1952__1_1->n509_a_dick_1952__1_1_1 n509_a_dick_1952__1_1_2 D;_nphd_ n509_a_dick_1952__1_1->n509_a_dick_1952__1_1_2 n509_a_dick_1952__1_1_1->n509_a_dick_1952__1_1_1_1 n509_a_dick_1952__1_1_2->n509_a_dick_1952__1_1_2_1 n509_a_dick_1952__1_2->n509_a_dick_1952__1_2_1 n509_a_dick_1952__1_3_1 BE;_cat_VePASS_ n509_a_dick_1952__1_3->n509_a_dick_1952__1_3_1 n509_a_dick_1952__1_3_2 IP-PPL-CAT n509_a_dick_1952__1_3->n509_a_dick_1952__1_3_2 n509_a_dick_1952__1_3_1->n509_a_dick_1952__1_3_1_1 n509_a_dick_1952__1_3_2_1 NP-LGS n509_a_dick_1952__1_3_2->n509_a_dick_1952__1_3_2_1 n509_a_dick_1952__1_3_2_2 VVN;_Tn.p_ n509_a_dick_1952__1_3_2->n509_a_dick_1952__1_3_2_2 n509_a_dick_1952__1_3_2_3 ADVP-CLR n509_a_dick_1952__1_3_2->n509_a_dick_1952__1_3_2_3 n509_a_dick_1952__1_3_2_4 PUNC n509_a_dick_1952__1_3_2->n509_a_dick_1952__1_3_2_4 n509_a_dick_1952__1_3_2_5 ADVP-NIM n509_a_dick_1952__1_3_2->n509_a_dick_1952__1_3_2_5 n509_a_dick_1952__1_3_2_1->n509_a_dick_1952__1_3_2_1_1 n509_a_dick_1952__1_3_2_2->n509_a_dick_1952__1_3_2_2_1 n509_a_dick_1952__1_3_2_3_1 ADVP n509_a_dick_1952__1_3_2_3->n509_a_dick_1952__1_3_2_3_1 n509_a_dick_1952__1_3_2_3_2 ADV n509_a_dick_1952__1_3_2_3->n509_a_dick_1952__1_3_2_3_2 n509_a_dick_1952__1_3_2_3_1_1 RP n509_a_dick_1952__1_3_2_3_1->n509_a_dick_1952__1_3_2_3_1_1 n509_a_dick_1952__1_3_2_3_1_1->n509_a_dick_1952__1_3_2_3_1_1_1 n509_a_dick_1952__1_3_2_3_2->n509_a_dick_1952__1_3_2_3_2_1 n509_a_dick_1952__1_3_2_4->n509_a_dick_1952__1_3_2_4_1 n509_a_dick_1952__1_3_2_5_1 AVLYR n509_a_dick_1952__1_3_2_5->n509_a_dick_1952__1_3_2_5_1 n509_a_dick_1952__1_3_2_5_1_1 AVLYR n509_a_dick_1952__1_3_2_5_1->n509_a_dick_1952__1_3_2_5_1_1 n509_a_dick_1952__1_3_2_5_1_2 CONJP n509_a_dick_1952__1_3_2_5_1->n509_a_dick_1952__1_3_2_5_1_2 n509_a_dick_1952__1_3_2_5_1_1_1 ADVR n509_a_dick_1952__1_3_2_5_1_1->n509_a_dick_1952__1_3_2_5_1_1_1 n509_a_dick_1952__1_3_2_5_1_1_1->n509_a_dick_1952__1_3_2_5_1_1_1_1 n509_a_dick_1952__1_3_2_5_1_2_1 CONJ n509_a_dick_1952__1_3_2_5_1_2->n509_a_dick_1952__1_3_2_5_1_2_1 n509_a_dick_1952__1_3_2_5_1_2_2 AVLYR n509_a_dick_1952__1_3_2_5_1_2->n509_a_dick_1952__1_3_2_5_1_2_2 n509_a_dick_1952__1_3_2_5_1_2_1->n509_a_dick_1952__1_3_2_5_1_2_1_1 n509_a_dick_1952__1_3_2_5_1_2_2_1 ADVR n509_a_dick_1952__1_3_2_5_1_2_2->n509_a_dick_1952__1_3_2_5_1_2_2_1 n509_a_dick_1952__1_3_2_5_1_2_2_1->n509_a_dick_1952__1_3_2_5_1_2_2_1_1 n509_a_dick_1952__1_4->n509_a_dick_1952__1_4_1 
( (IP-MAT (NP-SBJ (Q;_nphd_ all;{all})
                  (D;_nphd_ this;{this}))
          (MD;_cat_Vi_ must;{must})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn.p_ taken;{take[home]})
                                  (ADVP-CLR (ADVP (RP back;{back}))
                                            (ADV home;{home}))
                                  (PUNC ,)
                                  (ADVP-NIM (AVLYR (AVLYR (ADVR sooner;{soon}))
                                                   (CONJP (CONJ or;{or})
                                                          (AVLYR (ADVR later;{late})))))))
          (PUNC .))
  (ID 509_a_dick_1952))