TSPC 11_a_lob

11_a_lob_g01
Gaunt was compelled to return to England a disappointed and now even despised failure.

( (IP-MAT (NP-SBJ;{GAUNT} (NPR Gaunt;{Gaunt}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Cn.t_ compelled;{compel})
                      (IP-INF-PRD (TO to;{to})
                                  (VB;_Ipr_ return;{return[to]})
                                  (PP-CLR (P-ROLE to;{to})
                                          (NP (NPR England;{England})))
                                  (NP-NIM (D a;{a})
                                          (ADJP (AJLYR (AJLYR (ADJ disappointed;{disappointed}))
                                                       (CONJP (CONJ and;{and})
                                                              (AJLYR (ADVP (ADV now;{now}))
                                                                     (ADVP (ADV even;{even}))
                                                                     (ADJ despised;{despised})))))
                                          (N failure;{failure}))))
          (PUNC .))
  (ID 11_a_lob_g01))

arc(r_0011_0002__was,r_0011_0003__compelled,scope).
arc(r_0011_0003__compelled,r_0011_0001__Gaunt,arg1).
arc(r_0011_0003__compelled,r_0011_0005__return_r_0011_0006__to,prd).
arc(r_0011_0003__compelled,z_0011_5012___star_,arg0).
arc(r_0011_0005__return_r_0011_0006__to,r_0011_0007__England,arg1).
arc(r_0011_0005__return_r_0011_0006__to,r_0011_0008__a_r_0011_0014__failure,nim).
arc(r_0011_0005__return_r_0011_0006__to,z_0011_5004,arg0).
arc(r_0011_0008__a_r_0011_0014__failure,r_0011_0010__and,attrib).
arc(r_0011_0010__and,r_0011_0009__disappointed,conj1).
arc(r_0011_0010__and,r_0011_0013__despised,conj2).
arc(r_0011_0013__despised,r_0011_0011__now,qual).
arc(r_0011_0013__despised,r_0011_0012__even,qual).

fof(formula,axiom,
    ? [R_0011_0001__GAUNT,R_0011_0007__ENGLAND,R_0011_0009__DISAPPOINTED,R_0011_0011__NOW,R_0011_0012__EVEN,R_0011_0013__DESPISED,R_0011_0010__AND,R_0011_0008__A_R_0011_0014__FAILURE,Z_0011_5004,R_0011_0005__RETURN_R_0011_0006__TO,Z_0011_5012___STAR_,R_0011_0002__WAS_R_0011_0003__COMPELLED] :
      ( r_0011_0001__Gaunt(R_0011_0001__GAUNT)
      & r_0011_0007__England(R_0011_0007__ENGLAND)
      & r_0011_0009__disappointed(R_0011_0009__DISAPPOINTED)
      & r_0011_0011__now(R_0011_0011__NOW)
      & r_0011_0012__even(R_0011_0012__EVEN)
      & z_0011_5004(Z_0011_5004)
      & z_0011_5012___star_(Z_0011_5012___STAR_)
      & r_0011_0002__was_r_0011_0003__compelled(R_0011_0002__WAS_R_0011_0003__COMPELLED)
      & has_arg0(R_0011_0002__WAS_R_0011_0003__COMPELLED,Z_0011_5012___STAR_)
      & has_prd(R_0011_0002__WAS_R_0011_0003__COMPELLED,R_0011_0005__RETURN_R_0011_0006__TO)
      & r_0011_0005__return_r_0011_0006__to(R_0011_0005__RETURN_R_0011_0006__TO)
      & has_arg0(R_0011_0005__RETURN_R_0011_0006__TO,Z_0011_5004)
      & has_nim(R_0011_0005__RETURN_R_0011_0006__TO,R_0011_0008__A_R_0011_0014__FAILURE)
      & r_0011_0008__a_r_0011_0014__failure(R_0011_0008__A_R_0011_0014__FAILURE)
      & has_attrib(R_0011_0008__A_R_0011_0014__FAILURE,R_0011_0010__AND)
      & r_0011_0010__and(R_0011_0010__AND)
      & has_conj2(R_0011_0010__AND,R_0011_0013__DESPISED)
      & r_0011_0013__despised(R_0011_0013__DESPISED)
      & has_qual(R_0011_0013__DESPISED,R_0011_0012__EVEN)
      & has_qual(R_0011_0013__DESPISED,R_0011_0011__NOW)
      & has_conj1(R_0011_0010__AND,R_0011_0009__DISAPPOINTED)
      & has_arg1(R_0011_0005__RETURN_R_0011_0006__TO,R_0011_0007__ENGLAND)
      & has_arg1(R_0011_0002__WAS_R_0011_0003__COMPELLED,R_0011_0001__GAUNT) ) ).