arc(r_0200_0002__wandered, r_0200_0001__They, arg0).
arc(r_0200_0002__wandered, r_0200_0004__the_r_0200_0005__ruins, r_0200_0003__around_clr10).
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_000_200_a_dick_1952_17, r_0200_0002__wandered, scope).
arc(z_000_200_a_dick_1952_17, 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_0009__ROCKS,R_0200_0011__FRAGMENTS,R_0200_0010__AND,R_0200_0007__PICKING_R_0200_0008__UP,Z_000_200_A_DICK_1952_17] :
      ( 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_000_200_a_dick_1952_17(Z_000_200_A_DICK_1952_17)
      & has_conj1(Z_000_200_A_DICK_1952_17,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_000_200_A_DICK_1952_17,R_0200_0002__WANDERED)
      & r_0200_0002__wandered(R_0200_0002__WANDERED)
      & has_r_0200_0003__around_clr10(R_0200_0002__WANDERED,R_0200_0004__THE_R_0200_0005__RUINS)
      & has_arg0(R_0200_0002__WANDERED,R_0200_0001__THEY) ) ).

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