TSPC 6_a_lob

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

( (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 ,)
                              (PRN (NP (NPR Jean;{Jean})
                                       (NPR de;{de})
                                       (NPR Vienne;{Vienne})))
                              (PUNC <mdash>)
                              (PRN (NP (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))

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,attrib).
arc(r_0006_0012__a_r_0006_0014__sailor,r_0006_0013__great,attrib).
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,attrib).
arc(z_0006_5003,r_0006_0004__the_r_0006_0006__Admiral,arg0).
arc(z_0006_5003,r_0006_0008__Jean_r_0006_0009__de_r_0006_0010__Vienne,prd).
arc(z_0006_5010,r_0006_0004__the_r_0006_0006__Admiral,arg0).
arc(z_0006_5010,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_0006_5003,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_0006_5010] :
      ( 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_0006_5010(Z_0006_5010)
      & has_prd(Z_0006_5010,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_attrib(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_attrib(R_0006_0012__A_R_0006_0014__SAILOR,R_0006_0013__GREAT)
      & has_arg0(Z_0006_5010,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_attrib(R_0006_0004__THE_R_0006_0006__ADMIRAL,R_0006_0005__FRENCH)
      & z_0006_5003(Z_0006_5003)
      & has_prd(Z_0006_5003,R_0006_0008__JEAN_R_0006_0009__DE_R_0006_0010__VIENNE)
      & has_arg0(Z_0006_5003,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) ) ).