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).

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) ) ) ).

( (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))