TSPC 155_a_law

155_a_law_h15a119
(Correction, etc.)

( (FRAG (PULB -LRB-)
        (NP (N Correction;{correction})
            (PUNC ,)
            (ADVP (ADV etc<dot>)))
        (PURB -RRB-))
  (ID 155_a_law_h15a119;126_4))

arc(r_0155_0002__Correction,r_0155_0004__etc_dot_,qual).
arc(z_0155_5005,r_0155_0002__Correction,z_0155_5002).

fof(formula,axiom,
    ? [R_0155_0004__ETC_DOT_,R_0155_0002__CORRECTION,Z_0155_5005] :
      ( r_0155_0004__etc_dot_(R_0155_0004__ETC_DOT_)
      & z_0155_5005(Z_0155_5005)
      & has_z_0155_5002(Z_0155_5005,R_0155_0002__CORRECTION)
      & r_0155_0002__Correction(R_0155_0002__CORRECTION)
      & has_qual(R_0155_0002__CORRECTION,R_0155_0004__ETC_DOT_) ) ).