TSPC 6_a_lob

6_a_lob_g01
Opposing him was the French Admiral, Jean de Vienne — a great sailor and an able strategist.

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_6_3_WAS_OPPOSING,R_6_2_HIM,Z_6_A_LOB_G01_21,R_6_8_JEAN_DE_VIENNE,Z_6_A_LOB_G01_31,R_6_4_THE_ADMIRAL,R_6_5_FRENCH,R_6_15_AND,R_6_12_A_SAILOR,R_6_13_GREAT,R_6_16_AN_STRATEGIST,R_6_17_ABLE] :
      ( him(R_6_2_HIM)
      & jean_de_Vienne(R_6_8_JEAN_DE_VIENNE)
      & french(R_6_5_FRENCH)
      & great(R_6_13_GREAT)
      & able(R_6_17_ABLE)
      & was_Opposing(R_6_3_WAS_OPPOSING,R_6_4_THE_ADMIRAL,R_6_2_HIM)
      & the_Admiral(R_6_4_THE_ADMIRAL)
      & attrib14(R_6_4_THE_ADMIRAL,R_6_5_FRENCH)
      & z_6_a_lob_g01_21(Z_6_A_LOB_G01_21,R_6_4_THE_ADMIRAL,R_6_8_JEAN_DE_VIENNE)
      & z_6_a_lob_g01_31(Z_6_A_LOB_G01_31,R_6_4_THE_ADMIRAL,R_6_15_AND)
      & and(R_6_15_AND)
      & conj1(R_6_15_AND,R_6_12_A_SAILOR)
      & a_sailor(R_6_12_A_SAILOR)
      & attrib37(R_6_12_A_SAILOR,R_6_13_GREAT)
      & conj2(R_6_15_AND,R_6_16_AN_STRATEGIST)
      & an_strategist(R_6_16_AN_STRATEGIST)
      & attrib48(R_6_16_AN_STRATEGIST,R_6_17_ABLE) ) ).

( (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))