TSPC 2_a_lob

2_a_lob_g01
His son, in revenge, was harrying English shipping as far away as Cherbourg, and doing it to some purpose.

( (IP-MAT (NP-SBJ;{YOUNG_MERCER} (NP-GEN;{MERCER} (PRO;_genm_ His;{his}))
                                 (N son;{son}))
          (PUNC ,)
          (PP-NIM (P-ROLE in;{in})
                  (NP (N revenge;{revenge})))
          (PUNC ,)
          (BED;_cat_Vg_ was;{be})
          (IP-PPL-CAT (ILYR (ILYR;{HARRYING} (VAG;_Tn_ harrying;{harry})
                                             (NP-OB1 (ADJP (ADJ English;{english}))
                                                     (N shipping;{shipping}))
                                             (ADVP-NIM (ADVP (ADVP (ADV as;{as}))
                                                             (ADV far;{far}))
                                                       (ADV away;{away})
                                                       (PP (P-ROLE as;{as})
                                                           (NP (NPR Cherbourg;{Cherbourg})))))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (DAG;_Tn.pr_ doing;{do})
                                         (NP-OB1;{HARRYING} (PRO it;{it}))
                                         (PP-NIM (P-ROLE to;{to})
                                                 (NP (D some;{some})
                                                     (N purpose;{purpose})))))))
          (PUNC .))
  (ID 2_a_lob_g01))

arc(r_0002_0002__son,r_0002_0001__His,gen).
arc(r_0002_0007__was,r_0002_0005__revenge,r_0002_0004__in__nim).
arc(r_0002_0007__was,r_0002_0017__and,scope).
arc(r_0002_0008__harrying,r_0002_0002__son,arg0).
arc(r_0002_0008__harrying,r_0002_0010__shipping,arg1).
arc(r_0002_0008__harrying,r_0002_0013__away,nim).
arc(r_0002_0010__shipping,r_0002_0009__English,attrib).
arc(r_0002_0012__far,r_0002_0011__as,qual).
arc(r_0002_0013__away,r_0002_0012__far,qual).
arc(r_0002_0013__away,r_0002_0015__Cherbourg,r_0002_0014__as).
arc(r_0002_0017__and,r_0002_0008__harrying,conj1).
arc(r_0002_0017__and,r_0002_0018__doing,conj2).
arc(r_0002_0018__doing,r_0002_0002__son,arg0).
arc(r_0002_0018__doing,r_0002_0008__harrying,arg1).
arc(r_0002_0018__doing,r_0002_0021__some_r_0002_0022__purpose,r_0002_0020__to__nim).

fof(formula,axiom,
    ? [R_0002_0005__REVENGE,R_0002_0001__HIS,R_0002_0002__SON,R_0002_0009__ENGLISH,R_0002_0010__SHIPPING,R_0002_0011__AS,R_0002_0012__FAR,R_0002_0015__CHERBOURG,R_0002_0013__AWAY,R_0002_0008__HARRYING,R_0002_0021__SOME_R_0002_0022__PURPOSE,R_0002_0018__DOING,R_0002_0017__AND,R_0002_0007__WAS] :
      ( r_0002_0001__His(R_0002_0001__HIS)
      & r_0002_0005__revenge(R_0002_0005__REVENGE)
      & r_0002_0009__English(R_0002_0009__ENGLISH)
      & r_0002_0011__as(R_0002_0011__AS)
      & r_0002_0015__Cherbourg(R_0002_0015__CHERBOURG)
      & r_0002_0021__some_r_0002_0022__purpose(R_0002_0021__SOME_R_0002_0022__PURPOSE)
      & r_0002_0007__was(R_0002_0007__WAS)
      & has_keep_scope(R_0002_0007__WAS,R_0002_0017__AND)
      & r_0002_0017__and(R_0002_0017__AND)
      & has_conj2(R_0002_0017__AND,R_0002_0018__DOING)
      & r_0002_0018__doing(R_0002_0018__DOING)
      & has_r_0002_0020__to__nim(R_0002_0018__DOING,R_0002_0021__SOME_R_0002_0022__PURPOSE)
      & has_arg1(R_0002_0018__DOING,R_0002_0008__HARRYING)
      & r_0002_0008__harrying(R_0002_0008__HARRYING)
      & has_nim(R_0002_0008__HARRYING,R_0002_0013__AWAY)
      & r_0002_0013__away(R_0002_0013__AWAY)
      & has_r_0002_0014__as(R_0002_0013__AWAY,R_0002_0015__CHERBOURG)
      & has_qual(R_0002_0013__AWAY,R_0002_0012__FAR)
      & r_0002_0012__far(R_0002_0012__FAR)
      & has_qual(R_0002_0012__FAR,R_0002_0011__AS)
      & has_arg1(R_0002_0008__HARRYING,R_0002_0010__SHIPPING)
      & r_0002_0010__shipping(R_0002_0010__SHIPPING)
      & has_attrib(R_0002_0010__SHIPPING,R_0002_0009__ENGLISH)
      & has_arg0(R_0002_0008__HARRYING,R_0002_0002__SON)
      & r_0002_0002__son(R_0002_0002__SON)
      & has_gen(R_0002_0002__SON,R_0002_0001__HIS)
      & has_arg0(R_0002_0018__DOING,R_0002_0002__SON)
      & has_conj1(R_0002_0017__AND,R_0002_0008__HARRYING)
      & has_r_0002_0004__in__nim(R_0002_0007__WAS,R_0002_0005__REVENGE) ) ).