TSPC 8_a_lob

8_a_lob_g01
Gaunt was compelled to give up his search for an elusive foe, and, afraid to return home without something to show, he foolishly attempted to besiege the well-protected fortress of St Malo.

( (IP-MAT (ILYR (ILYR (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;_phr_Vn<=>p_ give;{give[up]})
                                              (RP up;{up})
                                              (NP-OB1 (NP-GEN;{GAUNT} (PRO;_genm_ his;{his}))
                                                      (N search;{search})
                                                      (PP (P-ROLE for;{for})
                                                          (NP (D an;{an})
                                                              (ADJP (ADJ elusive;{elusive}))
                                                              (N foe;{foe})))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (PUNC ,)
                       (ILYR;{BESIEGE} (PP-SCON (IP-PPL2 (ADJP-PRD (ADJ;_cat_ afraid;{afraid})
                                                                   (IP-INF (TO to;{to})
                                                                           (VB;_Ip_ return;{return[home]})
                                                                           (ADVP-CLR (RP home;{home}))
                                                                           (PP-NIM (P-ROLE without;{without})
                                                                                   (NP (D;_nphd_ something;{something})
                                                                                       (IP-INF-REL (NP-OB1 *T*)
                                                                                                   (TO to;{to})
                                                                                                   (VB;_Tn_ show;{show}))))))))
                                       (PUNC ,)
                                       (NP-SBJ;{GAUNT} (PRO he;{he}))
                                       (ADVP-NIM (ADV foolishly;{foolishly}))
                                       (VBD;_Tt_ attempted;{attempt})
                                       (IP-INF-OB1 (TO to;{to})
                                                   (VB;_Tn_ besiege;{besiege})
                                                   (NP-OB1 (D the;{the})
                                                           (ADJP (ADJ well_<hyphen>_protected;{well_protected}))
                                                           (N fortress;{fortress})
                                                           (PP (P-ROLE of;{of})
                                                               (NP (NPR St;{St})
                                                                   (NPR Malo;{Malo}))))))))
          (PUNC .))
  (ID 8_a_lob_g01))

arc(r_0008_0002__was,r_0008_0003__compelled,scope).
arc(r_0008_0003__compelled,r_0008_0001__Gaunt,arg1).
arc(r_0008_0003__compelled,r_0008_0005__give_r_0008_0006__up,prd).
arc(r_0008_0003__compelled,z_0008_5010___star_,arg0).
arc(r_0008_0005__give_r_0008_0006__up,r_0008_0008__search,arg1).
arc(r_0008_0005__give_r_0008_0006__up,z_0008_5004,arg0).
arc(r_0008_0008__search,r_0008_0001__Gaunt,gen).
arc(r_0008_0008__search,r_0008_0010__an_r_0008_0012__foe,r_0008_0009__for).
arc(r_0008_0010__an_r_0008_0012__foe,r_0008_0011__elusive,attrib).
arc(r_0008_0014__and,r_0008_0002__was,conj1).
arc(r_0008_0014__and,z_0008_5014,conj2).
arc(r_0008_0016__afraid,r_0008_0018__return_r_0008_0019__home,scope).
arc(r_0008_0018__return_r_0008_0019__home,r_0008_0001__Gaunt,arg0).
arc(r_0008_0018__return_r_0008_0019__home,r_0008_0021__something,r_0008_0020__without__nim).
arc(r_0008_0023__show,r_0008_0021__something,inv_arg1).
arc(r_0008_0023__show,z_0008_5018,arg0).
arc(r_0008_0027__attempted,r_0008_0001__Gaunt,arg0).
arc(r_0008_0027__attempted,r_0008_0026__foolishly,nim).
arc(r_0008_0027__attempted,r_0008_0029__besiege,arg1).
arc(r_0008_0029__besiege,r_0008_0001__Gaunt,arg0).
arc(r_0008_0029__besiege,r_0008_0030__the_r_0008_0032__fortress,arg1).
arc(r_0008_0030__the_r_0008_0032__fortress,r_0008_0031__well__hyphen__protected,attrib).
arc(r_0008_0030__the_r_0008_0032__fortress,r_0008_0034__St_r_0008_0035__Malo,r_0008_0033__of).
arc(z_0008_5014,r_0008_0016__afraid,restriction).
arc(z_0008_5014,r_0008_0027__attempted,scope).

fof(formula,axiom,
    ? [R_0008_0001__GAUNT,R_0008_0011__ELUSIVE,R_0008_0010__AN_R_0008_0012__FOE,R_0008_0008__SEARCH,Z_0008_5004,R_0008_0005__GIVE_R_0008_0006__UP,Z_0008_5010___STAR_,R_0008_0002__WAS_R_0008_0003__COMPELLED,Z_0008_5018,R_0008_0023__SHOW,R_0008_0021__SOMETHING,R_0008_0016__AFRAID_R_0008_0018__RETURN_R_0008_0019__HOME,R_0008_0026__FOOLISHLY,R_0008_0031__WELL__HYPHEN__PROTECTED,R_0008_0034__ST_R_0008_0035__MALO,R_0008_0030__THE_R_0008_0032__FORTRESS,R_0008_0029__BESIEGE,R_0008_0027__ATTEMPTED,Z_0008_5014,R_0008_0014__AND] :
      ( r_0008_0001__Gaunt(R_0008_0001__GAUNT)
      & r_0008_0011__elusive(R_0008_0011__ELUSIVE)
      & r_0008_0026__foolishly(R_0008_0026__FOOLISHLY)
      & r_0008_0031__well__hyphen__protected(R_0008_0031__WELL__HYPHEN__PROTECTED)
      & r_0008_0034__St_r_0008_0035__Malo(R_0008_0034__ST_R_0008_0035__MALO)
      & z_0008_5004(Z_0008_5004)
      & z_0008_5010___star_(Z_0008_5010___STAR_)
      & z_0008_5018(Z_0008_5018)
      & r_0008_0014__and(R_0008_0014__AND)
      & has_conj2(R_0008_0014__AND,Z_0008_5014)
      & z_0008_5014(Z_0008_5014)
      & has_conj2(Z_0008_5014,R_0008_0027__ATTEMPTED)
      & r_0008_0027__attempted(R_0008_0027__ATTEMPTED)
      & has_arg1(R_0008_0027__ATTEMPTED,R_0008_0029__BESIEGE)
      & r_0008_0029__besiege(R_0008_0029__BESIEGE)
      & has_arg1(R_0008_0029__BESIEGE,R_0008_0030__THE_R_0008_0032__FORTRESS)
      & r_0008_0030__the_r_0008_0032__fortress(R_0008_0030__THE_R_0008_0032__FORTRESS)
      & has_r_0008_0033__of(R_0008_0030__THE_R_0008_0032__FORTRESS,R_0008_0034__ST_R_0008_0035__MALO)
      & has_attrib(R_0008_0030__THE_R_0008_0032__FORTRESS,R_0008_0031__WELL__HYPHEN__PROTECTED)
      & has_arg0(R_0008_0029__BESIEGE,R_0008_0001__GAUNT)
      & has_nim(R_0008_0027__ATTEMPTED,R_0008_0026__FOOLISHLY)
      & has_arg0(R_0008_0027__ATTEMPTED,R_0008_0001__GAUNT)
      & has_conj1(Z_0008_5014,R_0008_0016__AFRAID_R_0008_0018__RETURN_R_0008_0019__HOME)
      & r_0008_0016__afraid_r_0008_0018__return_r_0008_0019__home(R_0008_0016__AFRAID_R_0008_0018__RETURN_R_0008_0019__HOME)
      & has_r_0008_0020__without__nim(R_0008_0016__AFRAID_R_0008_0018__RETURN_R_0008_0019__HOME,R_0008_0021__SOMETHING)
      & r_0008_0021__something(R_0008_0021__SOMETHING)
      & has_inv_arg1(R_0008_0021__SOMETHING,R_0008_0023__SHOW)
      & r_0008_0023__show(R_0008_0023__SHOW)
      & has_arg0(R_0008_0023__SHOW,Z_0008_5018)
      & has_arg0(R_0008_0016__AFRAID_R_0008_0018__RETURN_R_0008_0019__HOME,R_0008_0001__GAUNT)
      & has_conj1(R_0008_0014__AND,R_0008_0002__WAS_R_0008_0003__COMPELLED)
      & r_0008_0002__was_r_0008_0003__compelled(R_0008_0002__WAS_R_0008_0003__COMPELLED)
      & has_arg0(R_0008_0002__WAS_R_0008_0003__COMPELLED,Z_0008_5010___STAR_)
      & has_prd(R_0008_0002__WAS_R_0008_0003__COMPELLED,R_0008_0005__GIVE_R_0008_0006__UP)
      & r_0008_0005__give_r_0008_0006__up(R_0008_0005__GIVE_R_0008_0006__UP)
      & has_arg0(R_0008_0005__GIVE_R_0008_0006__UP,Z_0008_5004)
      & has_arg1(R_0008_0005__GIVE_R_0008_0006__UP,R_0008_0008__SEARCH)
      & r_0008_0008__search(R_0008_0008__SEARCH)
      & has_r_0008_0009__for(R_0008_0008__SEARCH,R_0008_0010__AN_R_0008_0012__FOE)
      & r_0008_0010__an_r_0008_0012__foe(R_0008_0010__AN_R_0008_0012__FOE)
      & has_attrib(R_0008_0010__AN_R_0008_0012__FOE,R_0008_0011__ELUSIVE)
      & has_gen(R_0008_0008__SEARCH,R_0008_0001__GAUNT)
      & has_arg1(R_0008_0002__WAS_R_0008_0003__COMPELLED,R_0008_0001__GAUNT) ) ).