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_0004__to_r_0011_0005__return, prd).
arc(r_0011_0003__compelled, z_000_11_a_lob_g01_8, arg0).
arc(r_0011_0004__to_r_0011_0005__return, r_0011_0007__England, r_0011_0006__to_clr20).
arc(r_0011_0004__to_r_0011_0005__return, r_0011_0008__a_r_0011_0014__failure, nim23).
arc(r_0011_0004__to_r_0011_0005__return, x_000_11_a_lob_g01_12, arg0).
arc(r_0011_0008__a_r_0011_0014__failure, r_0011_0010__and, attrib26).
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, qual35).
arc(r_0011_0013__despised, r_0011_0012__even, qual38).

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,X_000_11_A_LOB_G01_12,R_0011_0004__TO_R_0011_0005__RETURN,Z_000_11_A_LOB_G01_8,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)
      & x_000_11_a_lob_g01_12(X_000_11_A_LOB_G01_12)
      & z_000_11_a_lob_g01_8(Z_000_11_A_LOB_G01_8)
      & 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_000_11_A_LOB_G01_8)
      & has_prd(R_0011_0002__WAS_R_0011_0003__COMPELLED,R_0011_0004__TO_R_0011_0005__RETURN)
      & r_0011_0004__to_r_0011_0005__return(R_0011_0004__TO_R_0011_0005__RETURN)
      & has_arg0(R_0011_0004__TO_R_0011_0005__RETURN,X_000_11_A_LOB_G01_12)
      & has_nim23(R_0011_0004__TO_R_0011_0005__RETURN,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_attrib26(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_qual38(R_0011_0013__DESPISED,R_0011_0012__EVEN)
      & has_qual35(R_0011_0013__DESPISED,R_0011_0011__NOW)
      & has_conj1(R_0011_0010__AND,R_0011_0009__DISAPPOINTED)
      & has_r_0011_0006__to_clr20(R_0011_0004__TO_R_0011_0005__RETURN,R_0011_0007__ENGLAND)
      & has_arg1(R_0011_0002__WAS_R_0011_0003__COMPELLED,R_0011_0001__GAUNT) ) ).

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