( (IP-MAT (ILYR (ILYR (NP-SBJ;{TRESPASSERS} (PRO We;{we}))
                      (MD;_cat_Vi_ <apos>ll;{will})
                      (IP-INF-CAT (ILYR (ILYR (VB;_Tn.p_ take;{take[home]})
                                              (NP-OB1;{POSSESSIONS} (PRO them;{they}))
                                              (ADVP-CLR (RP home;{home})))
                                        (CONJP (CONJ and;{and})
                                               (ILYR (VB;_Tn_ study;{study})
                                                     (NP-OB1;{POSSESSIONS} (PRO them;{they})))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{POSSESSIONS} (PRO they;{they}))
                             (MD;_cat_Vi_ <apos>ll;{will})
                             (IP-INF-CAT (VB;_Tn_ change;{change})
                                         (NP-OB1;{TRESPASSERS} (PRO us;{we}))))))
          (PUNC .))
  (ID 592_a_dick_1952))

arc(r_0592_0002___apos_ll,r_0592_0006__and,scope).
arc(r_0592_0003__take_r_0592_0005__home,r_0592_0001__We,arg0).
arc(r_0592_0003__take_r_0592_0005__home,r_0592_0004__them,arg1).
arc(r_0592_0006__and,r_0592_0003__take_r_0592_0005__home,conj1).
arc(r_0592_0006__and,r_0592_0007__study,conj2).
arc(r_0592_0007__study,r_0592_0001__We,arg0).
arc(r_0592_0007__study,r_0592_0004__them,arg1).
arc(r_0592_0010__and,r_0592_0002___apos_ll,conj1).
arc(r_0592_0010__and,r_0592_0012___apos_ll,conj2).
arc(r_0592_0012___apos_ll,r_0592_0013__change,scope).
arc(r_0592_0013__change,r_0592_0001__We,arg1).
arc(r_0592_0013__change,r_0592_0004__them,arg0).

fof(formula,axiom,
    ? [R_0592_0001__WE,R_0592_0004__THEM,R_0592_0003__TAKE_R_0592_0005__HOME,R_0592_0007__STUDY,R_0592_0006__AND,R_0592_0002___APOS_LL,R_0592_0012___APOS_LL_R_0592_0013__CHANGE,R_0592_0010__AND] :
      ( r_0592_0001__We(R_0592_0001__WE)
      & r_0592_0004__them(R_0592_0004__THEM)
      & r_0592_0010__and(R_0592_0010__AND)
      & has_conj2(R_0592_0010__AND,R_0592_0012___APOS_LL_R_0592_0013__CHANGE)
      & r_0592_0012___apos_ll_r_0592_0013__change(R_0592_0012___APOS_LL_R_0592_0013__CHANGE)
      & has_arg0(R_0592_0012___APOS_LL_R_0592_0013__CHANGE,R_0592_0004__THEM)
      & has_arg1(R_0592_0012___APOS_LL_R_0592_0013__CHANGE,R_0592_0001__WE)
      & has_conj1(R_0592_0010__AND,R_0592_0002___APOS_LL)
      & r_0592_0002___apos_ll(R_0592_0002___APOS_LL)
      & has_keep_scope(R_0592_0002___APOS_LL,R_0592_0006__AND)
      & r_0592_0006__and(R_0592_0006__AND)
      & has_conj2(R_0592_0006__AND,R_0592_0007__STUDY)
      & r_0592_0007__study(R_0592_0007__STUDY)
      & has_arg1(R_0592_0007__STUDY,R_0592_0004__THEM)
      & has_arg0(R_0592_0007__STUDY,R_0592_0001__WE)
      & has_conj1(R_0592_0006__AND,R_0592_0003__TAKE_R_0592_0005__HOME)
      & r_0592_0003__take_r_0592_0005__home(R_0592_0003__TAKE_R_0592_0005__HOME)
      & has_arg1(R_0592_0003__TAKE_R_0592_0005__HOME,R_0592_0004__THEM)
      & has_arg0(R_0592_0003__TAKE_R_0592_0005__HOME,R_0592_0001__WE) ) ).