arc(r_0592_0002___apos_ll, r_0592_0006__and, scope).
arc(r_0592_0003__take, r_0592_0001__We, arg0).
arc(r_0592_0003__take, r_0592_0004__them, arg1).
arc(r_0592_0003__take, r_0592_0005__home, clr17).
arc(r_0592_0006__and, r_0592_0003__take, 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_0008__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_0011__they, arg0).
arc(r_0592_0013__change, r_0592_0014__us, arg1).

fof(formula,axiom,
    ? [R_0592_0001__WE,R_0592_0004__THEM,R_0592_0005__HOME,R_0592_0003__TAKE,R_0592_0008__THEM,R_0592_0007__STUDY,R_0592_0006__AND,R_0592_0002___APOS_LL,R_0592_0011__THEY,R_0592_0014__US,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_0005__home(R_0592_0005__HOME)
      & r_0592_0008__them(R_0592_0008__THEM)
      & r_0592_0011__they(R_0592_0011__THEY)
      & r_0592_0014__us(R_0592_0014__US)
      & 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_arg1(R_0592_0012___APOS_LL_R_0592_0013__CHANGE,R_0592_0014__US)
      & has_arg0(R_0592_0012___APOS_LL_R_0592_0013__CHANGE,R_0592_0011__THEY)
      & 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_0008__THEM)
      & has_arg0(R_0592_0007__STUDY,R_0592_0001__WE)
      & has_conj1(R_0592_0006__AND,R_0592_0003__TAKE)
      & r_0592_0003__take(R_0592_0003__TAKE)
      & has_clr17(R_0592_0003__TAKE,R_0592_0005__HOME)
      & has_arg1(R_0592_0003__TAKE,R_0592_0004__THEM)
      & has_arg0(R_0592_0003__TAKE,R_0592_0001__WE) ) ).

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