89_a_history_of_greece
However, they had not seen the last of their Muslim foe.

%3 r_0089_0004__had had r_0089_0001__However However r_0089_0004__had->r_0089_0001__However [nim] r_0089_0006__seen seen r_0089_0004__had->r_0089_0006__seen [scope] r_0089_0003__they they r_0089_0006__seen->r_0089_0003__they [arg0] r_0089_0007__the the r_0089_0006__seen->r_0089_0007__the [arg1] r_0089_0005__not not r_0089_0005__not->r_0089_0004__had [keep_scope] r_0089_0008__last last r_0089_0007__the->r_0089_0008__last [attrib] r_0089_0012__foe foe r_0089_0007__the->r_0089_0012__foe of r_0089_0012__foe->r_0089_0003__they [gen] r_0089_0011__Muslim Muslim r_0089_0012__foe->r_0089_0011__Muslim [attrib]
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).



%3 r_0089_0004__had_r_0089_0006__seen had seen r_0089_0001__However However r_0089_0004__had_r_0089_0006__seen->r_0089_0001__However [nim] r_0089_0003__they they r_0089_0004__had_r_0089_0006__seen->r_0089_0003__they [arg0] r_0089_0007__the the r_0089_0004__had_r_0089_0006__seen->r_0089_0007__the [arg1] r_0089_0008__last last r_0089_0007__the->r_0089_0008__last [attrib] r_0089_0012__foe foe r_0089_0007__the->r_0089_0012__foe of r_0089_0005__not not r_0089_0005__not->r_0089_0004__had_r_0089_0006__seen [keep_scope] r_0089_0012__foe->r_0089_0003__they [gen] r_0089_0011__Muslim Muslim r_0089_0012__foe->r_0089_0011__Muslim [attrib]
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) ) ).



n89_a_history_of_greece n89_a_history_of_greece_4 However n89_a_history_of_greece_6 , n89_a_history_of_greece_9 they n89_a_history_of_greece_11 had n89_a_history_of_greece_13 not n89_a_history_of_greece_16 seen n89_a_history_of_greece_19 the n89_a_history_of_greece_22 last n89_a_history_of_greece_25 of n89_a_history_of_greece_29 their n89_a_history_of_greece_32 Muslim n89_a_history_of_greece_34 foe n89_a_history_of_greece_36 . n89_a_history_of_greece_1 IP-MAT n89_a_history_of_greece_2 ADVP-NIM n89_a_history_of_greece_1->n89_a_history_of_greece_2 n89_a_history_of_greece_5 PUNC n89_a_history_of_greece_1->n89_a_history_of_greece_5 n89_a_history_of_greece_7 NP-SBJ n89_a_history_of_greece_1->n89_a_history_of_greece_7 n89_a_history_of_greece_10 HVD;_cat_Ve_ n89_a_history_of_greece_1->n89_a_history_of_greece_10 n89_a_history_of_greece_12 NEG n89_a_history_of_greece_1->n89_a_history_of_greece_12 n89_a_history_of_greece_14 IP-PPL-CAT n89_a_history_of_greece_1->n89_a_history_of_greece_14 n89_a_history_of_greece_35 PUNC n89_a_history_of_greece_1->n89_a_history_of_greece_35 n89_a_history_of_greece_3 ADV n89_a_history_of_greece_2->n89_a_history_of_greece_3 n89_a_history_of_greece_3->n89_a_history_of_greece_4 n89_a_history_of_greece_5->n89_a_history_of_greece_6 n89_a_history_of_greece_8 PRO n89_a_history_of_greece_7->n89_a_history_of_greece_8 n89_a_history_of_greece_8->n89_a_history_of_greece_9 n89_a_history_of_greece_10->n89_a_history_of_greece_11 n89_a_history_of_greece_12->n89_a_history_of_greece_13 n89_a_history_of_greece_15 VVN;_Tn_ n89_a_history_of_greece_14->n89_a_history_of_greece_15 n89_a_history_of_greece_17 NP-OB1 n89_a_history_of_greece_14->n89_a_history_of_greece_17 n89_a_history_of_greece_15->n89_a_history_of_greece_16 n89_a_history_of_greece_18 D n89_a_history_of_greece_17->n89_a_history_of_greece_18 n89_a_history_of_greece_20 ADJP n89_a_history_of_greece_17->n89_a_history_of_greece_20 n89_a_history_of_greece_23 PP n89_a_history_of_greece_17->n89_a_history_of_greece_23 n89_a_history_of_greece_18->n89_a_history_of_greece_19 n89_a_history_of_greece_21 ADJ n89_a_history_of_greece_20->n89_a_history_of_greece_21 n89_a_history_of_greece_21->n89_a_history_of_greece_22 n89_a_history_of_greece_24 P-ROLE n89_a_history_of_greece_23->n89_a_history_of_greece_24 n89_a_history_of_greece_26 NP n89_a_history_of_greece_23->n89_a_history_of_greece_26 n89_a_history_of_greece_24->n89_a_history_of_greece_25 n89_a_history_of_greece_27 NP-GEN n89_a_history_of_greece_26->n89_a_history_of_greece_27 n89_a_history_of_greece_30 ADJP n89_a_history_of_greece_26->n89_a_history_of_greece_30 n89_a_history_of_greece_33 N n89_a_history_of_greece_26->n89_a_history_of_greece_33 n89_a_history_of_greece_28 PRO;_genm_ n89_a_history_of_greece_27->n89_a_history_of_greece_28 n89_a_history_of_greece_28->n89_a_history_of_greece_29 n89_a_history_of_greece_31 ADJ n89_a_history_of_greece_30->n89_a_history_of_greece_31 n89_a_history_of_greece_31->n89_a_history_of_greece_32 n89_a_history_of_greece_33->n89_a_history_of_greece_34 n89_a_history_of_greece_35->n89_a_history_of_greece_36
( (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))