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.

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_0004__to_r_0008_0005__give_r_0008_0006__up, prd).
arc(r_0008_0003__compelled, z_000_8_a_lob_g01_10, arg0).
arc(r_0008_0004__to_r_0008_0005__give_r_0008_0006__up, r_0008_0008__search, arg1).
arc(r_0008_0004__to_r_0008_0005__give_r_0008_0006__up, x_000_8_a_lob_g01_14, 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, attrib33).
arc(r_0008_0014__and, r_0008_0002__was, conj1).
arc(r_0008_0014__and, z_000_8_a_lob_g01_46, conj2).
arc(r_0008_0016__afraid, r_0008_0017__to_r_0008_0018__return, emb51).
arc(r_0008_0017__to_r_0008_0018__return, r_0008_0019__home, clr56).
arc(r_0008_0017__to_r_0008_0018__return, r_0008_0021__something, r_0008_0020__without_nim62).
arc(r_0008_0017__to_r_0008_0018__return, z_000_8_a_lob_g01_51, arg0).
arc(r_0008_0022__to_r_0008_0023__show, r_0008_0021__something, arg1).
arc(r_0008_0022__to_r_0008_0023__show, z_000_8_a_lob_g01_65, arg0).
arc(r_0008_0027__attempted, r_0008_0001__Gaunt, arg0).
arc(r_0008_0027__attempted, r_0008_0026__foolishly, nim77).
arc(r_0008_0027__attempted, r_0008_0028__to_r_0008_0029__besiege, arg1).
arc(r_0008_0028__to_r_0008_0029__besiege, r_0008_0001__Gaunt, arg0).
arc(r_0008_0028__to_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, attrib90).
arc(r_0008_0030__the_r_0008_0032__fortress, r_0008_0034__St_r_0008_0035__Malo, r_0008_0033__of).
arc(z_000_8_a_lob_g01_46, r_0008_0027__attempted, scope).
arc(z_000_8_a_lob_g01_46, z_000_8_a_lob_g01_47, restriction).
arc(z_000_8_a_lob_g01_47, r_0008_0001__Gaunt, arg0).
arc(z_000_8_a_lob_g01_47, r_0008_0016__afraid, prd).

fof(formula,axiom,
    ? [R_0008_0001__GAUNT,R_0008_0011__ELUSIVE,R_0008_0010__AN_R_0008_0012__FOE,R_0008_0008__SEARCH,X_000_8_A_LOB_G01_14,R_0008_0004__TO_R_0008_0005__GIVE_R_0008_0006__UP,Z_000_8_A_LOB_G01_10,R_0008_0002__WAS_R_0008_0003__COMPELLED,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_0028__TO_R_0008_0029__BESIEGE,R_0008_0027__ATTEMPTED,R_0008_0019__HOME,R_0008_0021__SOMETHING,Z_000_8_A_LOB_G01_51,R_0008_0017__TO_R_0008_0018__RETURN,R_0008_0016__AFRAID,Z_000_8_A_LOB_G01_47,Z_000_8_A_LOB_G01_46,R_0008_0014__AND,Z_000_8_A_LOB_G01_65,R_0008_0022__TO_R_0008_0023__SHOW] :
      ( r_0008_0001__Gaunt(R_0008_0001__GAUNT)
      & r_0008_0011__elusive(R_0008_0011__ELUSIVE)
      & r_0008_0019__home(R_0008_0019__HOME)
      & r_0008_0021__something(R_0008_0021__SOMETHING)
      & 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)
      & x_000_8_a_lob_g01_14(X_000_8_A_LOB_G01_14)
      & z_000_8_a_lob_g01_10(Z_000_8_A_LOB_G01_10)
      & z_000_8_a_lob_g01_51(Z_000_8_A_LOB_G01_51)
      & z_000_8_a_lob_g01_65(Z_000_8_A_LOB_G01_65)
      & r_0008_0022__to_r_0008_0023__show(R_0008_0022__TO_R_0008_0023__SHOW)
      & has_arg0(R_0008_0022__TO_R_0008_0023__SHOW,Z_000_8_A_LOB_G01_65)
      & has_arg1(R_0008_0022__TO_R_0008_0023__SHOW,R_0008_0021__SOMETHING)
      & r_0008_0014__and(R_0008_0014__AND)
      & has_conj2(R_0008_0014__AND,Z_000_8_A_LOB_G01_46)
      & z_000_8_a_lob_g01_46(Z_000_8_A_LOB_G01_46)
      & has_conj1(Z_000_8_A_LOB_G01_46,Z_000_8_A_LOB_G01_47)
      & z_000_8_a_lob_g01_47(Z_000_8_A_LOB_G01_47)
      & has_prd(Z_000_8_A_LOB_G01_47,R_0008_0016__AFRAID)
      & r_0008_0016__afraid(R_0008_0016__AFRAID)
      & has_emb51(R_0008_0016__AFRAID,R_0008_0017__TO_R_0008_0018__RETURN)
      & r_0008_0017__to_r_0008_0018__return(R_0008_0017__TO_R_0008_0018__RETURN)
      & has_arg0(R_0008_0017__TO_R_0008_0018__RETURN,Z_000_8_A_LOB_G01_51)
      & has_r_0008_0020__without_nim62(R_0008_0017__TO_R_0008_0018__RETURN,R_0008_0021__SOMETHING)
      & has_clr56(R_0008_0017__TO_R_0008_0018__RETURN,R_0008_0019__HOME)
      & has_arg0(Z_000_8_A_LOB_G01_47,R_0008_0001__GAUNT)
      & has_conj2(Z_000_8_A_LOB_G01_46,R_0008_0027__ATTEMPTED)
      & r_0008_0027__attempted(R_0008_0027__ATTEMPTED)
      & has_arg1(R_0008_0027__ATTEMPTED,R_0008_0028__TO_R_0008_0029__BESIEGE)
      & r_0008_0028__to_r_0008_0029__besiege(R_0008_0028__TO_R_0008_0029__BESIEGE)
      & has_arg1(R_0008_0028__TO_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_attrib90(R_0008_0030__THE_R_0008_0032__FORTRESS,R_0008_0031__WELL__HYPHEN__PROTECTED)
      & has_arg0(R_0008_0028__TO_R_0008_0029__BESIEGE,R_0008_0001__GAUNT)
      & has_nim77(R_0008_0027__ATTEMPTED,R_0008_0026__FOOLISHLY)
      & has_arg0(R_0008_0027__ATTEMPTED,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_000_8_A_LOB_G01_10)
      & has_prd(R_0008_0002__WAS_R_0008_0003__COMPELLED,R_0008_0004__TO_R_0008_0005__GIVE_R_0008_0006__UP)
      & r_0008_0004__to_r_0008_0005__give_r_0008_0006__up(R_0008_0004__TO_R_0008_0005__GIVE_R_0008_0006__UP)
      & has_arg0(R_0008_0004__TO_R_0008_0005__GIVE_R_0008_0006__UP,X_000_8_A_LOB_G01_14)
      & has_arg1(R_0008_0004__TO_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_attrib33(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) ) ).

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