Context                Previous, Next                Top


498_a_dick_1952
“All this can be loaded up and taken back.

%3 r_0498_0002__All_quant All [quant] r_0498_0003__this this r_0498_0002__All_quant->r_0498_0003__this [restriction] r_0498_0004__can can r_0498_0002__All_quant->r_0498_0004__can [scope] r_0498_0005__be be r_0498_0004__can->r_0498_0005__be [scope] r_0498_0008__and and r_0498_0005__be->r_0498_0008__and [scope] r_0498_0006__loaded_r_0498_0007__up loaded up r_0498_0008__and->r_0498_0006__loaded_r_0498_0007__up [conj1] r_0498_0009__taken taken r_0498_0008__and->r_0498_0009__taken [conj2] r_0498_0006__loaded_r_0498_0007__up->r_0498_0003__this [arg0] r_0498_0009__taken->r_0498_0003__this [arg0] r_0498_0010__back back r_0498_0009__taken->r_0498_0010__back [clr] 
arc(r_0498_0002__All_quant, r_0498_0003__this, restriction).
arc(r_0498_0002__All_quant, r_0498_0004__can, scope).
arc(r_0498_0004__can, r_0498_0005__be, scope).
arc(r_0498_0005__be, r_0498_0008__and, scope).
arc(r_0498_0006__loaded_r_0498_0007__up, r_0498_0003__this, arg0).
arc(r_0498_0008__and, r_0498_0006__loaded_r_0498_0007__up, conj1).
arc(r_0498_0008__and, r_0498_0009__taken, conj2).
arc(r_0498_0009__taken, r_0498_0003__this, arg0).
arc(r_0498_0009__taken, r_0498_0010__back, clr27).


%3 r_0498_0002__All_quant All [quant] r_0498_0003__this this r_0498_0002__All_quant->r_0498_0003__this [restriction] r_0498_0004__can_r_0498_0005__be can be r_0498_0002__All_quant->r_0498_0004__can_r_0498_0005__be [scope] r_0498_0008__and and r_0498_0004__can_r_0498_0005__be->r_0498_0008__and [keep_scope] r_0498_0006__loaded_r_0498_0007__up loaded up r_0498_0008__and->r_0498_0006__loaded_r_0498_0007__up [conj1] r_0498_0009__taken taken r_0498_0008__and->r_0498_0009__taken [conj2] r_0498_0006__loaded_r_0498_0007__up->r_0498_0003__this [arg0] r_0498_0009__taken->r_0498_0003__this [arg0] r_0498_0010__back back r_0498_0009__taken->r_0498_0010__back [clr] 
fof(formula,axiom,
    ! [R_498_3_THIS] :
      ( this(R_498_3_THIS)
     => ~ ? [R_498_8_AND,R_498_6_LOADED_UP,R_498_9_TAKEN,R_498_10_BACK] :
            ( back(R_498_10_BACK)
            & and(R_498_8_AND)
            & conj1(R_498_8_AND,R_498_6_LOADED_UP)
            & loaded_up(R_498_6_LOADED_UP,R_498_3_THIS)
            & conj2(R_498_8_AND,R_498_9_TAKEN)
            & taken(R_498_9_TAKEN,R_498_3_THIS)
            & clr27(R_498_9_TAKEN,R_498_10_BACK) ) ) ).


n498_a_dick_1952 n498_a_dick_1952_3 <ldquo> n498_a_dick_1952_6 All n498_a_dick_1952_8 this n498_a_dick_1952_10 can n498_a_dick_1952_13 be n498_a_dick_1952_18 loaded n498_a_dick_1952_20 up n498_a_dick_1952_23 and n498_a_dick_1952_26 taken n498_a_dick_1952_29 back n498_a_dick_1952_31 . n498_a_dick_1952_1 IP-MAT n498_a_dick_1952_2 PULQ n498_a_dick_1952_1->n498_a_dick_1952_2 n498_a_dick_1952_4 NP-SBJ n498_a_dick_1952_1->n498_a_dick_1952_4 n498_a_dick_1952_9 MD;_cat_Vi_ n498_a_dick_1952_1->n498_a_dick_1952_9 n498_a_dick_1952_11 IP-INF-CAT n498_a_dick_1952_1->n498_a_dick_1952_11 n498_a_dick_1952_30 PUNC n498_a_dick_1952_1->n498_a_dick_1952_30 n498_a_dick_1952_2->n498_a_dick_1952_3 n498_a_dick_1952_5 Q;_nphd_ n498_a_dick_1952_4->n498_a_dick_1952_5 n498_a_dick_1952_7 D;_nphd_ n498_a_dick_1952_4->n498_a_dick_1952_7 n498_a_dick_1952_5->n498_a_dick_1952_6 n498_a_dick_1952_7->n498_a_dick_1952_8 n498_a_dick_1952_9->n498_a_dick_1952_10 n498_a_dick_1952_12 BE;_cat_VePASS_ n498_a_dick_1952_11->n498_a_dick_1952_12 n498_a_dick_1952_14 IP-PPL-CAT n498_a_dick_1952_11->n498_a_dick_1952_14 n498_a_dick_1952_12->n498_a_dick_1952_13 n498_a_dick_1952_15 ILYR n498_a_dick_1952_14->n498_a_dick_1952_15 n498_a_dick_1952_16 ILYR n498_a_dick_1952_15->n498_a_dick_1952_16 n498_a_dick_1952_21 CONJP n498_a_dick_1952_15->n498_a_dick_1952_21 n498_a_dick_1952_17 VVN;_phr_Vp_ n498_a_dick_1952_16->n498_a_dick_1952_17 n498_a_dick_1952_19 RP n498_a_dick_1952_16->n498_a_dick_1952_19 n498_a_dick_1952_17->n498_a_dick_1952_18 n498_a_dick_1952_19->n498_a_dick_1952_20 n498_a_dick_1952_22 CONJ n498_a_dick_1952_21->n498_a_dick_1952_22 n498_a_dick_1952_24 ILYR n498_a_dick_1952_21->n498_a_dick_1952_24 n498_a_dick_1952_22->n498_a_dick_1952_23 n498_a_dick_1952_25 VVN;_Ip_ n498_a_dick_1952_24->n498_a_dick_1952_25 n498_a_dick_1952_27 ADVP-CLR n498_a_dick_1952_24->n498_a_dick_1952_27 n498_a_dick_1952_25->n498_a_dick_1952_26 n498_a_dick_1952_28 RP n498_a_dick_1952_27->n498_a_dick_1952_28 n498_a_dick_1952_28->n498_a_dick_1952_29 n498_a_dick_1952_30->n498_a_dick_1952_31 
( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ (Q;_nphd_ All;{all})
                  (D;_nphd_ this;{this}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (ILYR (ILYR (VVN;_phr_Vp_ loaded;{load[up]})
                                              (RP up;{up}))
                                        (CONJP (CONJ and;{and})
                                               (ILYR (VVN;_Ip_ taken;{take[back]})
                                                     (ADVP-CLR (RP back;{back})))))))
          (PUNC .))
  (ID 498_a_dick_1952))