TSPC 200_a_dick

200_a_dick_1952
They wandered around the ruins, picking up rocks and fragments.

( (IP-MAT (NP-SBJ;{DORLE+NASHA+TANCE} (PRO They;{they}))
          (VBD;_Ipr_ wandered;{wander[around]})
          (PP-CLR (P-ROLE around;{around})
                  (NP (D the;{the})
                      (NS ruins;{ruin})))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_phr_Vn<=>p_ picking;{pick[up]})
                            (RP up;{up})
                            (NP-OB1 (NLYR (NLYR (NS rocks;{rock}))
                                          (CONJP (CONJ and;{and})
                                                 (NLYR (NS fragments;{fragment})))))))
          (PUNC .))
  (ID 200_a_dick_1952))

arc(r_0200_0002__wandered_r_0200_0003__around,r_0200_0001__They,arg0).
arc(r_0200_0002__wandered_r_0200_0003__around,r_0200_0004__the_r_0200_0005__ruins,arg1).
arc(r_0200_0007__picking_r_0200_0008__up,r_0200_0001__They,arg0).
arc(r_0200_0007__picking_r_0200_0008__up,r_0200_0010__and,arg1).
arc(r_0200_0010__and,r_0200_0009__rocks,conj1).
arc(r_0200_0010__and,r_0200_0011__fragments,conj2).
arc(z_0200_5002,r_0200_0002__wandered_r_0200_0003__around,scope).
arc(z_0200_5002,r_0200_0007__picking_r_0200_0008__up,restriction).

fof(formula,axiom,
    ? [R_0200_0001__THEY,R_0200_0004__THE_R_0200_0005__RUINS,R_0200_0002__WANDERED_R_0200_0003__AROUND,R_0200_0009__ROCKS,R_0200_0011__FRAGMENTS,R_0200_0010__AND,R_0200_0007__PICKING_R_0200_0008__UP,Z_0200_5002] :
      ( r_0200_0001__They(R_0200_0001__THEY)
      & r_0200_0004__the_r_0200_0005__ruins(R_0200_0004__THE_R_0200_0005__RUINS)
      & r_0200_0009__rocks(R_0200_0009__ROCKS)
      & r_0200_0011__fragments(R_0200_0011__FRAGMENTS)
      & z_0200_5002(Z_0200_5002)
      & has_conj1(Z_0200_5002,R_0200_0007__PICKING_R_0200_0008__UP)
      & r_0200_0007__picking_r_0200_0008__up(R_0200_0007__PICKING_R_0200_0008__UP)
      & has_arg1(R_0200_0007__PICKING_R_0200_0008__UP,R_0200_0010__AND)
      & r_0200_0010__and(R_0200_0010__AND)
      & has_conj2(R_0200_0010__AND,R_0200_0011__FRAGMENTS)
      & has_conj1(R_0200_0010__AND,R_0200_0009__ROCKS)
      & has_arg0(R_0200_0007__PICKING_R_0200_0008__UP,R_0200_0001__THEY)
      & has_conj2(Z_0200_5002,R_0200_0002__WANDERED_R_0200_0003__AROUND)
      & r_0200_0002__wandered_r_0200_0003__around(R_0200_0002__WANDERED_R_0200_0003__AROUND)
      & has_arg1(R_0200_0002__WANDERED_R_0200_0003__AROUND,R_0200_0004__THE_R_0200_0005__RUINS)
      & has_arg0(R_0200_0002__WANDERED_R_0200_0003__AROUND,R_0200_0001__THEY) ) ).