Context                Previous, Next                Top


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

n89_a_history_of_greece n89_a_history_of_greece__1_1_1_1 However n89_a_history_of_greece__1_2_1 , n89_a_history_of_greece__1_3_1_1 they n89_a_history_of_greece__1_4_1 had n89_a_history_of_greece__1_5_1 not n89_a_history_of_greece__1_6_1_1 seen n89_a_history_of_greece__1_6_2_1_1 the n89_a_history_of_greece__1_6_2_2_1_1 last n89_a_history_of_greece__1_6_2_3_1_1 of n89_a_history_of_greece__1_6_2_3_2_1_1_1 their n89_a_history_of_greece__1_6_2_3_2_2_1_1 Muslim n89_a_history_of_greece__1_6_2_3_2_3_1 foe n89_a_history_of_greece__1_7_1 . n89_a_history_of_greece__1 IP-MAT n89_a_history_of_greece__1_1 ADVP-NIM n89_a_history_of_greece__1->n89_a_history_of_greece__1_1 n89_a_history_of_greece__1_2 PUNC n89_a_history_of_greece__1->n89_a_history_of_greece__1_2 n89_a_history_of_greece__1_3 NP-SBJ n89_a_history_of_greece__1->n89_a_history_of_greece__1_3 n89_a_history_of_greece__1_4 HVD;_cat_Ve_ n89_a_history_of_greece__1->n89_a_history_of_greece__1_4 n89_a_history_of_greece__1_5 NEG n89_a_history_of_greece__1->n89_a_history_of_greece__1_5 n89_a_history_of_greece__1_6 IP-PPL-CAT n89_a_history_of_greece__1->n89_a_history_of_greece__1_6 n89_a_history_of_greece__1_7 PUNC n89_a_history_of_greece__1->n89_a_history_of_greece__1_7 n89_a_history_of_greece__1_1_1 ADV n89_a_history_of_greece__1_1->n89_a_history_of_greece__1_1_1 n89_a_history_of_greece__1_1_1->n89_a_history_of_greece__1_1_1_1 n89_a_history_of_greece__1_2->n89_a_history_of_greece__1_2_1 n89_a_history_of_greece__1_3_1 PRO n89_a_history_of_greece__1_3->n89_a_history_of_greece__1_3_1 n89_a_history_of_greece__1_3_1->n89_a_history_of_greece__1_3_1_1 n89_a_history_of_greece__1_4->n89_a_history_of_greece__1_4_1 n89_a_history_of_greece__1_5->n89_a_history_of_greece__1_5_1 n89_a_history_of_greece__1_6_1 VVN;_Tn_ n89_a_history_of_greece__1_6->n89_a_history_of_greece__1_6_1 n89_a_history_of_greece__1_6_2 NP-OB1 n89_a_history_of_greece__1_6->n89_a_history_of_greece__1_6_2 n89_a_history_of_greece__1_6_1->n89_a_history_of_greece__1_6_1_1 n89_a_history_of_greece__1_6_2_1 D n89_a_history_of_greece__1_6_2->n89_a_history_of_greece__1_6_2_1 n89_a_history_of_greece__1_6_2_2 ADJP n89_a_history_of_greece__1_6_2->n89_a_history_of_greece__1_6_2_2 n89_a_history_of_greece__1_6_2_3 PP n89_a_history_of_greece__1_6_2->n89_a_history_of_greece__1_6_2_3 n89_a_history_of_greece__1_6_2_1->n89_a_history_of_greece__1_6_2_1_1 n89_a_history_of_greece__1_6_2_2_1 ADJ n89_a_history_of_greece__1_6_2_2->n89_a_history_of_greece__1_6_2_2_1 n89_a_history_of_greece__1_6_2_2_1->n89_a_history_of_greece__1_6_2_2_1_1 n89_a_history_of_greece__1_6_2_3_1 P-ROLE n89_a_history_of_greece__1_6_2_3->n89_a_history_of_greece__1_6_2_3_1 n89_a_history_of_greece__1_6_2_3_2 NP n89_a_history_of_greece__1_6_2_3->n89_a_history_of_greece__1_6_2_3_2 n89_a_history_of_greece__1_6_2_3_1->n89_a_history_of_greece__1_6_2_3_1_1 n89_a_history_of_greece__1_6_2_3_2_1 NP-GEN n89_a_history_of_greece__1_6_2_3_2->n89_a_history_of_greece__1_6_2_3_2_1 n89_a_history_of_greece__1_6_2_3_2_2 ADJP n89_a_history_of_greece__1_6_2_3_2->n89_a_history_of_greece__1_6_2_3_2_2 n89_a_history_of_greece__1_6_2_3_2_3 N n89_a_history_of_greece__1_6_2_3_2->n89_a_history_of_greece__1_6_2_3_2_3 n89_a_history_of_greece__1_6_2_3_2_1_1 PRO;_genm_ n89_a_history_of_greece__1_6_2_3_2_1->n89_a_history_of_greece__1_6_2_3_2_1_1 n89_a_history_of_greece__1_6_2_3_2_1_1->n89_a_history_of_greece__1_6_2_3_2_1_1_1 n89_a_history_of_greece__1_6_2_3_2_2_1 ADJ n89_a_history_of_greece__1_6_2_3_2_2->n89_a_history_of_greece__1_6_2_3_2_2_1 n89_a_history_of_greece__1_6_2_3_2_2_1->n89_a_history_of_greece__1_6_2_3_2_2_1_1 n89_a_history_of_greece__1_6_2_3_2_3->n89_a_history_of_greece__1_6_2_3_2_3_1 n89_a_history_of_greece__1_7->n89_a_history_of_greece__1_7_1 
( (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))


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


%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_0005__not not r_0089_0005__not->r_0089_0004__had_r_0089_0006__seen [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] 
fof(formula,axiom,
    ~ ? [R_0089_0001__HOWEVER,R_0089_0003__THEY,R_0089_0008__LAST,R_0089_0011__MUSLIM,R_0089_0012__FOE,R_0089_0007__THE,R_0089_0004__HAD_R_0089_0006__SEEN] :
        ( r_0089_0001__However(R_0089_0001__HOWEVER)
        & r_0089_0003__they(R_0089_0003__THEY)
        & r_0089_0008__last(R_0089_0008__LAST)
        & r_0089_0011__Muslim(R_0089_0011__MUSLIM)
        & r_0089_0004__had_r_0089_0006__seen(R_0089_0004__HAD_R_0089_0006__SEEN)
        & has_arg1(R_0089_0004__HAD_R_0089_0006__SEEN,R_0089_0007__THE)
        & r_0089_0007__the(R_0089_0007__THE)
        & has_r_0089_0009__of(R_0089_0007__THE,R_0089_0012__FOE)
        & r_0089_0012__foe(R_0089_0012__FOE)
        & has_attrib(R_0089_0012__FOE,R_0089_0011__MUSLIM)
        & has_gen(R_0089_0012__FOE,R_0089_0003__THEY)
        & has_attrib(R_0089_0007__THE,R_0089_0008__LAST)
        & has_arg0(R_0089_0004__HAD_R_0089_0006__SEEN,R_0089_0003__THEY)
        & has_nim(R_0089_0004__HAD_R_0089_0006__SEEN,R_0089_0001__HOWEVER) ) ).