89_a_history_of_greece
However, they had not seen the last of their Muslim foe.
arc(r_0089_0004__had, r_0089_0001__However, nim2).
arc(r_0089_0004__had, r_0089_0006__seen, scope).
arc(r_0089_0005__not, r_0089_0004__had, keep_scope).
arc(r_0089_0006__seen, r_0089_0003__they, arg0).
arc(r_0089_0006__seen, r_0089_0007__the, arg1).
arc(r_0089_0007__the, r_0089_0008__last, attrib20).
arc(r_0089_0007__the, r_0089_0012__foe, r_0089_0009__of).
arc(r_0089_0012__foe, r_0089_0003__they, gen).
arc(r_0089_0012__foe, r_0089_0011__Muslim, attrib30).
fof(formula,axiom,
~ ? [R_89_4_HAD_SEEN,R_89_7_THE,R_89_8_LAST,R_89_12_FOE,R_89_11_MUSLIM,R_89_3_THEY,R_89_1_HOWEVER] :
( last(R_89_8_LAST)
& muslim(R_89_11_MUSLIM)
& they(R_89_3_THEY)
& however(R_89_1_HOWEVER)
& had_seen(R_89_4_HAD_SEEN,R_89_3_THEY,R_89_7_THE)
& the(R_89_7_THE)
& attrib20(R_89_7_THE,R_89_8_LAST)
& of(R_89_7_THE,R_89_12_FOE)
& foe(R_89_12_FOE)
& attrib30(R_89_12_FOE,R_89_11_MUSLIM)
& gen(R_89_12_FOE,R_89_3_THEY)
& nim2(R_89_4_HAD_SEEN,R_89_1_HOWEVER) ) ).
( (IP-MAT (ADVP-NIM (ADV However;{however}))
(PUNC ,)
(NP-SBJ;{KNIGHTS} (PRO they;{they}))
(HVD;_cat_Ve_ had;{have})
(NEG not;{not})
(IP-PPL-CAT (VVN;_Tn_ seen;{see})
(NP-OB1 (D the;{the})
(ADJP (ADJ last;{last}))
(PP (P-ROLE of;{of})
(NP (NP-GEN;{KNIGHTS} (PRO;_genm_ their;{their}))
(ADJP (ADJ Muslim;{muslim}))
(N foe;{foe})))))
(PUNC .))
(ID 89_a_history_of_greece))