TSPC 30_a_dick

30_a_dick_1952
He stepped away and stood by himself, staring past the others.

( (IP-MAT (NP-SBJ;{FOMAR} (PRO He;{he}))
          (ILYR (ILYR (VBD;_Ip_ stepped;{step[away]})
                      (ADVP-CLR (ADV away;{away})))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_I_ stood;{stand})
                             (PP-NIM (P-ROLE by;{by})
                                     (NP;{FOMAR} (PNX himself;{himself}))))))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_Ipr_ staring;{stare[past]})
                           (PP-CLR (P-ROLE past;{past})
                                   (NP (D the;{the})
                                       (NS others;{other})))))
          (PUNC .))
  (ID 30_a_dick_1952))

arc(r_0030_0002__stepped_r_0030_0003__away,r_0030_0001__He,arg0).
arc(r_0030_0004__and,r_0030_0002__stepped_r_0030_0003__away,conj1).
arc(r_0030_0004__and,r_0030_0005__stood,conj2).
arc(r_0030_0005__stood,r_0030_0001__He,arg0).
arc(r_0030_0005__stood,r_0030_0001__He,r_0030_0006__by__nim).
arc(r_0030_0009__staring_r_0030_0010__past,r_0030_0001__He,arg0).
arc(r_0030_0009__staring_r_0030_0010__past,r_0030_0011__the_r_0030_0012__others,arg1).
arc(z_0030_5001,r_0030_0004__and,scope).
arc(z_0030_5001,r_0030_0009__staring_r_0030_0010__past,restriction).

fof(formula,axiom,
    ? [R_0030_0001__HE,R_0030_0002__STEPPED_R_0030_0003__AWAY,R_0030_0005__STOOD,R_0030_0004__AND,R_0030_0011__THE_R_0030_0012__OTHERS,R_0030_0009__STARING_R_0030_0010__PAST,Z_0030_5001] :
      ( r_0030_0001__He(R_0030_0001__HE)
      & r_0030_0011__the_r_0030_0012__others(R_0030_0011__THE_R_0030_0012__OTHERS)
      & z_0030_5001(Z_0030_5001)
      & has_conj1(Z_0030_5001,R_0030_0009__STARING_R_0030_0010__PAST)
      & r_0030_0009__staring_r_0030_0010__past(R_0030_0009__STARING_R_0030_0010__PAST)
      & has_arg1(R_0030_0009__STARING_R_0030_0010__PAST,R_0030_0011__THE_R_0030_0012__OTHERS)
      & has_arg0(R_0030_0009__STARING_R_0030_0010__PAST,R_0030_0001__HE)
      & has_conj2(Z_0030_5001,R_0030_0004__AND)
      & r_0030_0004__and(R_0030_0004__AND)
      & has_conj2(R_0030_0004__AND,R_0030_0005__STOOD)
      & r_0030_0005__stood(R_0030_0005__STOOD)
      & has_r_0030_0006__by__nim(R_0030_0005__STOOD,R_0030_0001__HE)
      & has_arg0(R_0030_0005__STOOD,R_0030_0001__HE)
      & has_conj1(R_0030_0004__AND,R_0030_0002__STEPPED_R_0030_0003__AWAY)
      & r_0030_0002__stepped_r_0030_0003__away(R_0030_0002__STEPPED_R_0030_0003__AWAY)
      & has_arg0(R_0030_0002__STEPPED_R_0030_0003__AWAY,R_0030_0001__HE) ) ).