TSPC 498_a_dick

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

( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ (Q;_nphd_ All;{all})
                  (NLYR (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))

arc(r_0498_0002__All__quant,r_0498_0004__can,scope).
arc(r_0498_0002__All__quant,z_0498_5003,restriction).
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,z_0498_5003,arg0).
arc(r_0498_0008__and,r_0498_0006__loaded_r_0498_0007__up,conj1).
arc(r_0498_0008__and,r_0498_0009__taken_r_0498_0010__back,conj2).
arc(r_0498_0009__taken_r_0498_0010__back,z_0498_5003,arg0).
arc(z_0498_5003,r_0498_0003__this,nim).

fof(formula,axiom,
    ! [Z_0498_5003,R_0498_0003__THIS] :
      ( ( r_0498_0003__this(R_0498_0003__THIS)
        & z_0498_5003(Z_0498_5003)
        & has_nim(Z_0498_5003,R_0498_0003__THIS) )
     => ? [R_0498_0006__LOADED_R_0498_0007__UP,R_0498_0009__TAKEN_R_0498_0010__BACK,R_0498_0008__AND,R_0498_0004__CAN_R_0498_0005__BE] :
          ( r_0498_0004__can_r_0498_0005__be(R_0498_0004__CAN_R_0498_0005__BE)
          & has_keep_scope(R_0498_0004__CAN_R_0498_0005__BE,R_0498_0008__AND)
          & r_0498_0008__and(R_0498_0008__AND)
          & has_conj2(R_0498_0008__AND,R_0498_0009__TAKEN_R_0498_0010__BACK)
          & r_0498_0009__taken_r_0498_0010__back(R_0498_0009__TAKEN_R_0498_0010__BACK)
          & has_arg0(R_0498_0009__TAKEN_R_0498_0010__BACK,Z_0498_5003)
          & has_conj1(R_0498_0008__AND,R_0498_0006__LOADED_R_0498_0007__UP)
          & r_0498_0006__loaded_r_0498_0007__up(R_0498_0006__LOADED_R_0498_0007__UP)
          & has_arg0(R_0498_0006__LOADED_R_0498_0007__UP,Z_0498_5003) ) ) ).