arc(r_0006_0001__Opposing, r_0006_0002__him, arg1).
arc(r_0006_0001__Opposing, r_0006_0004__the_r_0006_0006__Admiral, arg0).
arc(r_0006_0003__was, r_0006_0001__Opposing, scope).
arc(r_0006_0004__the_r_0006_0006__Admiral, r_0006_0005__French, attrib14).
arc(r_0006_0012__a_r_0006_0014__sailor, r_0006_0013__great, attrib37).
arc(r_0006_0015__and, r_0006_0012__a_r_0006_0014__sailor, conj1).
arc(r_0006_0015__and, r_0006_0016__an_r_0006_0018__strategist, conj2).
arc(r_0006_0016__an_r_0006_0018__strategist, r_0006_0017__able, attrib48).
arc(z_000_6_a_lob_g01_21, r_0006_0004__the_r_0006_0006__Admiral, arg0).
arc(z_000_6_a_lob_g01_21, r_0006_0008__Jean_r_0006_0009__de_r_0006_0010__Vienne, prd).
arc(z_000_6_a_lob_g01_31, r_0006_0004__the_r_0006_0006__Admiral, arg0).
arc(z_000_6_a_lob_g01_31, r_0006_0015__and, prd).

fof(formula,axiom,
    ? [R_0006_0002__HIM,R_0006_0005__FRENCH,R_0006_0004__THE_R_0006_0006__ADMIRAL,R_0006_0003__WAS_R_0006_0001__OPPOSING,R_0006_0008__JEAN_R_0006_0009__DE_R_0006_0010__VIENNE,Z_000_6_A_LOB_G01_21,R_0006_0013__GREAT,R_0006_0012__A_R_0006_0014__SAILOR,R_0006_0017__ABLE,R_0006_0016__AN_R_0006_0018__STRATEGIST,R_0006_0015__AND,Z_000_6_A_LOB_G01_31] :
      ( r_0006_0002__him(R_0006_0002__HIM)
      & r_0006_0005__French(R_0006_0005__FRENCH)
      & r_0006_0008__Jean_r_0006_0009__de_r_0006_0010__Vienne(R_0006_0008__JEAN_R_0006_0009__DE_R_0006_0010__VIENNE)
      & r_0006_0013__great(R_0006_0013__GREAT)
      & r_0006_0017__able(R_0006_0017__ABLE)
      & z_000_6_a_lob_g01_31(Z_000_6_A_LOB_G01_31)
      & has_prd(Z_000_6_A_LOB_G01_31,R_0006_0015__AND)
      & r_0006_0015__and(R_0006_0015__AND)
      & has_conj2(R_0006_0015__AND,R_0006_0016__AN_R_0006_0018__STRATEGIST)
      & r_0006_0016__an_r_0006_0018__strategist(R_0006_0016__AN_R_0006_0018__STRATEGIST)
      & has_attrib48(R_0006_0016__AN_R_0006_0018__STRATEGIST,R_0006_0017__ABLE)
      & has_conj1(R_0006_0015__AND,R_0006_0012__A_R_0006_0014__SAILOR)
      & r_0006_0012__a_r_0006_0014__sailor(R_0006_0012__A_R_0006_0014__SAILOR)
      & has_attrib37(R_0006_0012__A_R_0006_0014__SAILOR,R_0006_0013__GREAT)
      & has_arg0(Z_000_6_A_LOB_G01_31,R_0006_0004__THE_R_0006_0006__ADMIRAL)
      & r_0006_0004__the_r_0006_0006__Admiral(R_0006_0004__THE_R_0006_0006__ADMIRAL)
      & has_attrib14(R_0006_0004__THE_R_0006_0006__ADMIRAL,R_0006_0005__FRENCH)
      & z_000_6_a_lob_g01_21(Z_000_6_A_LOB_G01_21)
      & has_prd(Z_000_6_A_LOB_G01_21,R_0006_0008__JEAN_R_0006_0009__DE_R_0006_0010__VIENNE)
      & has_arg0(Z_000_6_A_LOB_G01_21,R_0006_0004__THE_R_0006_0006__ADMIRAL)
      & r_0006_0003__was_r_0006_0001__Opposing(R_0006_0003__WAS_R_0006_0001__OPPOSING)
      & has_arg0(R_0006_0003__WAS_R_0006_0001__OPPOSING,R_0006_0004__THE_R_0006_0006__ADMIRAL)
      & has_arg1(R_0006_0003__WAS_R_0006_0001__OPPOSING,R_0006_0002__HIM) ) ).

( (IP-MAT (ILYR (IP-PPL-CAT (VAG;_Tn_ Opposing;{oppose})
                            (NP-OB1;{GAUNT} (PRO him;{he})))
                (BED;_cat_Vg_ was;{be}))
          (NP-SBJ;{DE_VIENNE} (D the;{the})
                              (ADJP (ADJ French;{french}))
                              (N Admiral;{admiral})
                              (PUNC ,)
                              (IP-PPL (NP-PRD (NPR Jean;{Jean})
                                              (NPR de;{de})
                                              (NPR Vienne;{Vienne})))
                              (PUNC <mdash>)
                              (IP-PPL (NP-PRD (NLYR (NLYR (D a;{a})
                                                          (ADJP (ADJ great;{great}))
                                                          (N sailor;{sailor}))
                                                    (CONJP (CONJ and;{and})
                                                           (NLYR (D an;{an})
                                                                 (ADJP (ADJ able;{able}))
                                                                 (N strategist;{strategist})))))))
          (PUNC .))
  (ID 6_a_lob_g01))