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

%3 r_0002_0002__son son r_0002_0001__His His r_0002_0002__son->r_0002_0001__His [gen] r_0002_0007__was was r_0002_0005__revenge revenge r_0002_0007__was->r_0002_0005__revenge in [nim] r_0002_0017__and and r_0002_0007__was->r_0002_0017__and [scope] r_0002_0008__harrying harrying r_0002_0017__and->r_0002_0008__harrying [conj1] r_0002_0018__doing doing r_0002_0017__and->r_0002_0018__doing [conj2] r_0002_0008__harrying->r_0002_0002__son [arg0] r_0002_0010__shipping shipping r_0002_0008__harrying->r_0002_0010__shipping [arg1] r_0002_0013__away away r_0002_0008__harrying->r_0002_0013__away [nim] r_0002_0009__English English r_0002_0010__shipping->r_0002_0009__English [attrib] r_0002_0012__far far r_0002_0013__away->r_0002_0012__far [qual] r_0002_0015__Cherbourg Cherbourg r_0002_0013__away->r_0002_0015__Cherbourg as r_0002_0011__as as r_0002_0012__far->r_0002_0011__as [qual] r_0002_0018__doing->r_0002_0002__son [arg0] r_0002_0018__doing->r_0002_0008__harrying [arg1] r_0002_0021__some_r_0002_0022__purpose some purpose r_0002_0018__doing->r_0002_0021__some_r_0002_0022__purpose to [nim]
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).



%3 r_0002_0002__son son r_0002_0001__His His r_0002_0002__son->r_0002_0001__His [gen] r_0002_0007__was was r_0002_0005__revenge revenge r_0002_0007__was->r_0002_0005__revenge in [nim] r_0002_0017__and and r_0002_0007__was->r_0002_0017__and [keep_scope] r_0002_0008__harrying harrying r_0002_0017__and->r_0002_0008__harrying [conj1] r_0002_0018__doing doing r_0002_0017__and->r_0002_0018__doing [conj2] r_0002_0008__harrying->r_0002_0002__son [arg0] r_0002_0010__shipping shipping r_0002_0008__harrying->r_0002_0010__shipping [arg1] r_0002_0013__away away r_0002_0008__harrying->r_0002_0013__away [nim] r_0002_0009__English English r_0002_0010__shipping->r_0002_0009__English [attrib] r_0002_0012__far far r_0002_0013__away->r_0002_0012__far [qual] r_0002_0015__Cherbourg Cherbourg r_0002_0013__away->r_0002_0015__Cherbourg as r_0002_0011__as as r_0002_0012__far->r_0002_0011__as [qual] r_0002_0018__doing->r_0002_0002__son [arg0] r_0002_0018__doing->r_0002_0008__harrying [arg1] r_0002_0021__some_r_0002_0022__purpose some purpose r_0002_0018__doing->r_0002_0021__some_r_0002_0022__purpose to [nim]
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) ) ) ).



n2_a_lob_g01 n2_a_lob_g01_5 His n2_a_lob_g01_7 son n2_a_lob_g01_9 , n2_a_lob_g01_12 in n2_a_lob_g01_15 revenge n2_a_lob_g01_17 , n2_a_lob_g01_19 was n2_a_lob_g01_24 harrying n2_a_lob_g01_28 English n2_a_lob_g01_30 shipping n2_a_lob_g01_35 as n2_a_lob_g01_37 far n2_a_lob_g01_39 away n2_a_lob_g01_42 as n2_a_lob_g01_45 Cherbourg n2_a_lob_g01_47 , n2_a_lob_g01_50 and n2_a_lob_g01_53 doing n2_a_lob_g01_56 it n2_a_lob_g01_59 to n2_a_lob_g01_62 some n2_a_lob_g01_64 purpose n2_a_lob_g01_66 . n2_a_lob_g01_1 IP-MAT n2_a_lob_g01_2 NP-SBJ n2_a_lob_g01_1->n2_a_lob_g01_2 n2_a_lob_g01_8 PUNC n2_a_lob_g01_1->n2_a_lob_g01_8 n2_a_lob_g01_10 PP-NIM n2_a_lob_g01_1->n2_a_lob_g01_10 n2_a_lob_g01_16 PUNC n2_a_lob_g01_1->n2_a_lob_g01_16 n2_a_lob_g01_18 BED;_cat_Vg_ n2_a_lob_g01_1->n2_a_lob_g01_18 n2_a_lob_g01_20 IP-PPL-CAT n2_a_lob_g01_1->n2_a_lob_g01_20 n2_a_lob_g01_65 PUNC n2_a_lob_g01_1->n2_a_lob_g01_65 n2_a_lob_g01_3 NP-GEN n2_a_lob_g01_2->n2_a_lob_g01_3 n2_a_lob_g01_6 N n2_a_lob_g01_2->n2_a_lob_g01_6 n2_a_lob_g01_4 PRO;_genm_ n2_a_lob_g01_3->n2_a_lob_g01_4 n2_a_lob_g01_4->n2_a_lob_g01_5 n2_a_lob_g01_6->n2_a_lob_g01_7 n2_a_lob_g01_8->n2_a_lob_g01_9 n2_a_lob_g01_11 P-ROLE n2_a_lob_g01_10->n2_a_lob_g01_11 n2_a_lob_g01_13 NP n2_a_lob_g01_10->n2_a_lob_g01_13 n2_a_lob_g01_11->n2_a_lob_g01_12 n2_a_lob_g01_14 N n2_a_lob_g01_13->n2_a_lob_g01_14 n2_a_lob_g01_14->n2_a_lob_g01_15 n2_a_lob_g01_16->n2_a_lob_g01_17 n2_a_lob_g01_18->n2_a_lob_g01_19 n2_a_lob_g01_21 ILYR n2_a_lob_g01_20->n2_a_lob_g01_21 n2_a_lob_g01_22 ILYR n2_a_lob_g01_21->n2_a_lob_g01_22 n2_a_lob_g01_46 PUNC n2_a_lob_g01_21->n2_a_lob_g01_46 n2_a_lob_g01_48 CONJP n2_a_lob_g01_21->n2_a_lob_g01_48 n2_a_lob_g01_23 VAG;_Tn_ n2_a_lob_g01_22->n2_a_lob_g01_23 n2_a_lob_g01_25 NP-OB1 n2_a_lob_g01_22->n2_a_lob_g01_25 n2_a_lob_g01_31 ADVP-NIM n2_a_lob_g01_22->n2_a_lob_g01_31 n2_a_lob_g01_23->n2_a_lob_g01_24 n2_a_lob_g01_26 ADJP n2_a_lob_g01_25->n2_a_lob_g01_26 n2_a_lob_g01_29 N n2_a_lob_g01_25->n2_a_lob_g01_29 n2_a_lob_g01_27 ADJ n2_a_lob_g01_26->n2_a_lob_g01_27 n2_a_lob_g01_27->n2_a_lob_g01_28 n2_a_lob_g01_29->n2_a_lob_g01_30 n2_a_lob_g01_32 ADVP n2_a_lob_g01_31->n2_a_lob_g01_32 n2_a_lob_g01_38 ADV n2_a_lob_g01_31->n2_a_lob_g01_38 n2_a_lob_g01_40 PP n2_a_lob_g01_31->n2_a_lob_g01_40 n2_a_lob_g01_33 ADVP n2_a_lob_g01_32->n2_a_lob_g01_33 n2_a_lob_g01_36 ADV n2_a_lob_g01_32->n2_a_lob_g01_36 n2_a_lob_g01_34 ADV n2_a_lob_g01_33->n2_a_lob_g01_34 n2_a_lob_g01_34->n2_a_lob_g01_35 n2_a_lob_g01_36->n2_a_lob_g01_37 n2_a_lob_g01_38->n2_a_lob_g01_39 n2_a_lob_g01_41 P-ROLE n2_a_lob_g01_40->n2_a_lob_g01_41 n2_a_lob_g01_43 NP n2_a_lob_g01_40->n2_a_lob_g01_43 n2_a_lob_g01_41->n2_a_lob_g01_42 n2_a_lob_g01_44 NPR n2_a_lob_g01_43->n2_a_lob_g01_44 n2_a_lob_g01_44->n2_a_lob_g01_45 n2_a_lob_g01_46->n2_a_lob_g01_47 n2_a_lob_g01_49 CONJ n2_a_lob_g01_48->n2_a_lob_g01_49 n2_a_lob_g01_51 ILYR n2_a_lob_g01_48->n2_a_lob_g01_51 n2_a_lob_g01_49->n2_a_lob_g01_50 n2_a_lob_g01_52 DAG;_Tn.pr_ n2_a_lob_g01_51->n2_a_lob_g01_52 n2_a_lob_g01_54 NP-OB1 n2_a_lob_g01_51->n2_a_lob_g01_54 n2_a_lob_g01_57 PP-NIM n2_a_lob_g01_51->n2_a_lob_g01_57 n2_a_lob_g01_52->n2_a_lob_g01_53 n2_a_lob_g01_55 PRO n2_a_lob_g01_54->n2_a_lob_g01_55 n2_a_lob_g01_55->n2_a_lob_g01_56 n2_a_lob_g01_58 P-ROLE n2_a_lob_g01_57->n2_a_lob_g01_58 n2_a_lob_g01_60 NP n2_a_lob_g01_57->n2_a_lob_g01_60 n2_a_lob_g01_58->n2_a_lob_g01_59 n2_a_lob_g01_61 D n2_a_lob_g01_60->n2_a_lob_g01_61 n2_a_lob_g01_63 N n2_a_lob_g01_60->n2_a_lob_g01_63 n2_a_lob_g01_61->n2_a_lob_g01_62 n2_a_lob_g01_63->n2_a_lob_g01_64 n2_a_lob_g01_65->n2_a_lob_g01_66
( (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))