2_a_lob_g01
His son, in revenge, was harrying English shipping as far away as Cherbourg, and doing it to some purpose.
arc(r_0002_0002__son, r_0002_0001__His, gen).
arc(r_0002_0007__was, r_0002_0005__revenge, r_0002_0004__in_nim13).
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, nim31).
arc(r_0002_0010__shipping, r_0002_0009__English, attrib26).
arc(r_0002_0012__far, r_0002_0011__as, qual33).
arc(r_0002_0013__away, r_0002_0012__far, qual32).
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_nim60).
fof(formula,axiom,
? [R_2_5_REVENGE] :
( revenge(R_2_5_REVENGE)
& ? [R_2_17_AND,R_2_18_DOING,R_2_8_HARRYING,R_2_2_SON,R_2_1_HIS,R_2_10_SHIPPING,R_2_9_ENGLISH,R_2_13_AWAY,R_2_12_FAR,R_2_11_AS,R_2_15_CHERBOURG,R_2_21_SOME_PURPOSE] :
( his(R_2_1_HIS)
& english(R_2_9_ENGLISH)
& as(R_2_11_AS)
& cherbourg(R_2_15_CHERBOURG)
& some_purpose(R_2_21_SOME_PURPOSE)
& and(R_2_17_AND)
& conj1(R_2_17_AND,R_2_8_HARRYING)
& harrying(R_2_8_HARRYING,R_2_2_SON,R_2_10_SHIPPING)
& son(R_2_2_SON)
& gen(R_2_2_SON,R_2_1_HIS)
& shipping(R_2_10_SHIPPING)
& attrib26(R_2_10_SHIPPING,R_2_9_ENGLISH)
& nim31(R_2_8_HARRYING,R_2_13_AWAY)
& away(R_2_13_AWAY)
& qual32(R_2_13_AWAY,R_2_12_FAR)
& far(R_2_12_FAR)
& qual33(R_2_12_FAR,R_2_11_AS)
& as(R_2_13_AWAY,R_2_15_CHERBOURG)
& conj2(R_2_17_AND,R_2_18_DOING)
& doing(R_2_18_DOING,R_2_2_SON,R_2_8_HARRYING)
& to_nim60(R_2_18_DOING,R_2_21_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))