TSPC 570_a_dick

570_a_dick_1952
The people went down into the vault and examined the treasure.

( (IP-MAT (NP-SBJ;{TRESPASSERS} (D The;{the})
                                (NS people;{people}))
          (ILYR (ILYR (VBD;_Ipr_ went;{go[down_into]})
                      (PP-CLR (P-ROLE down_into;{down_into})
                              (NP (D the;{the})
                                  (N vault;{vault}))))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_Tn_ examined;{examine})
                             (NP-OB1;{TREASURE} (D the;{the})
                                                (N treasure;{treasure})))))
          (PUNC .))
  (ID 570_a_dick_1952))

arc(r_0570_0003__went_r_0570_0004__down_into,r_0570_0001__The_r_0570_0002__people,arg0).
arc(r_0570_0003__went_r_0570_0004__down_into,r_0570_0005__the_r_0570_0006__vault,arg1).
arc(r_0570_0007__and,r_0570_0003__went_r_0570_0004__down_into,conj1).
arc(r_0570_0007__and,r_0570_0008__examined,conj2).
arc(r_0570_0008__examined,r_0570_0001__The_r_0570_0002__people,arg0).
arc(r_0570_0008__examined,r_0570_0009__the_r_0570_0010__treasure,arg1).

fof(formula,axiom,
    ? [R_0570_0001__THE_R_0570_0002__PEOPLE,R_0570_0005__THE_R_0570_0006__VAULT,R_0570_0003__WENT_R_0570_0004__DOWN_INTO,R_0570_0009__THE_R_0570_0010__TREASURE,R_0570_0008__EXAMINED,R_0570_0007__AND] :
      ( r_0570_0001__The_r_0570_0002__people(R_0570_0001__THE_R_0570_0002__PEOPLE)
      & r_0570_0005__the_r_0570_0006__vault(R_0570_0005__THE_R_0570_0006__VAULT)
      & r_0570_0009__the_r_0570_0010__treasure(R_0570_0009__THE_R_0570_0010__TREASURE)
      & r_0570_0007__and(R_0570_0007__AND)
      & has_conj2(R_0570_0007__AND,R_0570_0008__EXAMINED)
      & r_0570_0008__examined(R_0570_0008__EXAMINED)
      & has_arg1(R_0570_0008__EXAMINED,R_0570_0009__THE_R_0570_0010__TREASURE)
      & has_arg0(R_0570_0008__EXAMINED,R_0570_0001__THE_R_0570_0002__PEOPLE)
      & has_conj1(R_0570_0007__AND,R_0570_0003__WENT_R_0570_0004__DOWN_INTO)
      & r_0570_0003__went_r_0570_0004__down_into(R_0570_0003__WENT_R_0570_0004__DOWN_INTO)
      & has_arg1(R_0570_0003__WENT_R_0570_0004__DOWN_INTO,R_0570_0005__THE_R_0570_0006__VAULT)
      & has_arg0(R_0570_0003__WENT_R_0570_0004__DOWN_INTO,R_0570_0001__THE_R_0570_0002__PEOPLE) ) ).