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_0001__all_quant all [quant] r_0509_0002__this this r_0509_0001__all_quant->r_0509_0002__this [restriction] r_0509_0003__must_r_0509_0004__be_r_0509_0005__taken must be taken r_0509_0001__all_quant->r_0509_0003__must_r_0509_0004__be_r_0509_0005__taken [scope] r_0509_0003__must_r_0509_0004__be_r_0509_0005__taken->r_0509_0002__this [arg1] r_0509_0007__home home r_0509_0003__must_r_0509_0004__be_r_0509_0005__taken->r_0509_0007__home [clr] r_0509_0010__or or r_0509_0003__must_r_0509_0004__be_r_0509_0005__taken->r_0509_0010__or [nim] 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_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] 
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_4 all n509_a_dick_1952_6 this n509_a_dick_1952_8 must n509_a_dick_1952_11 be n509_a_dick_1952_14 * n509_a_dick_1952_16 taken n509_a_dick_1952_20 back n509_a_dick_1952_22 home n509_a_dick_1952_24 , n509_a_dick_1952_29 sooner n509_a_dick_1952_32 or n509_a_dick_1952_35 later n509_a_dick_1952_37 . n509_a_dick_1952_1 IP-MAT n509_a_dick_1952_2 NP-SBJ n509_a_dick_1952_1->n509_a_dick_1952_2 n509_a_dick_1952_7 MD;_cat_Vi_ n509_a_dick_1952_1->n509_a_dick_1952_7 n509_a_dick_1952_9 IP-INF-CAT n509_a_dick_1952_1->n509_a_dick_1952_9 n509_a_dick_1952_36 PUNC n509_a_dick_1952_1->n509_a_dick_1952_36 n509_a_dick_1952_3 Q;_nphd_ n509_a_dick_1952_2->n509_a_dick_1952_3 n509_a_dick_1952_5 D;_nphd_ n509_a_dick_1952_2->n509_a_dick_1952_5 n509_a_dick_1952_3->n509_a_dick_1952_4 n509_a_dick_1952_5->n509_a_dick_1952_6 n509_a_dick_1952_7->n509_a_dick_1952_8 n509_a_dick_1952_10 BE;_cat_VePASS_ n509_a_dick_1952_9->n509_a_dick_1952_10 n509_a_dick_1952_12 IP-PPL-CAT n509_a_dick_1952_9->n509_a_dick_1952_12 n509_a_dick_1952_10->n509_a_dick_1952_11 n509_a_dick_1952_13 NP-LGS n509_a_dick_1952_12->n509_a_dick_1952_13 n509_a_dick_1952_15 VVN;_Tn.p_ n509_a_dick_1952_12->n509_a_dick_1952_15 n509_a_dick_1952_17 ADVP-CLR n509_a_dick_1952_12->n509_a_dick_1952_17 n509_a_dick_1952_23 PUNC n509_a_dick_1952_12->n509_a_dick_1952_23 n509_a_dick_1952_25 ADVP-NIM n509_a_dick_1952_12->n509_a_dick_1952_25 n509_a_dick_1952_13->n509_a_dick_1952_14 n509_a_dick_1952_15->n509_a_dick_1952_16 n509_a_dick_1952_18 ADVP n509_a_dick_1952_17->n509_a_dick_1952_18 n509_a_dick_1952_21 ADV n509_a_dick_1952_17->n509_a_dick_1952_21 n509_a_dick_1952_19 RP n509_a_dick_1952_18->n509_a_dick_1952_19 n509_a_dick_1952_19->n509_a_dick_1952_20 n509_a_dick_1952_21->n509_a_dick_1952_22 n509_a_dick_1952_23->n509_a_dick_1952_24 n509_a_dick_1952_26 AVLYR n509_a_dick_1952_25->n509_a_dick_1952_26 n509_a_dick_1952_27 AVLYR n509_a_dick_1952_26->n509_a_dick_1952_27 n509_a_dick_1952_30 CONJP n509_a_dick_1952_26->n509_a_dick_1952_30 n509_a_dick_1952_28 ADVR n509_a_dick_1952_27->n509_a_dick_1952_28 n509_a_dick_1952_28->n509_a_dick_1952_29 n509_a_dick_1952_31 CONJ n509_a_dick_1952_30->n509_a_dick_1952_31 n509_a_dick_1952_33 AVLYR n509_a_dick_1952_30->n509_a_dick_1952_33 n509_a_dick_1952_31->n509_a_dick_1952_32 n509_a_dick_1952_34 ADVR n509_a_dick_1952_33->n509_a_dick_1952_34 n509_a_dick_1952_34->n509_a_dick_1952_35 n509_a_dick_1952_36->n509_a_dick_1952_37 
( (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))