87_a_history_of_greece
The Knights of St. John, a holy military force, made their way to Rhodes and Kos in the Dodecanese.
( (IP-MAT (NP-SBJ;{KNIGHTS} (D The;{the})
(NS Knights;{knight})
(PP (P-ROLE of;{of})
(NP (NPR St<dot>)
(NPR John;{John})))
(PUNC ,)
(PRN (NP (D a;{a})
(ADJP (ADJ holy;{holy}))
(ADJP (ADJ military;{military}))
(N force;{force}))))
(PUNC ,)
(VBD;_Tn_ made;{make})
(NP-OB1 (NP-GEN;{KNIGHTS} (PRO;_genm_ their;{their}))
(N way;{way})
(PP (P-ROLE to;{to})
(NP (NLYR (NLYR (NPR Rhodes;{Rhodes}))
(CONJP (CONJ and;{and})
(NLYR (NPR Kos;{Kos}))))
(PP (P-ROLE in;{in})
(NP (D the;{the})
(NPR Dodecanese;{Dodecanese}))))))
(PUNC .))
(ID 87_a_history_of_greece))
arc(r_0087_0001__The_r_0087_0002__Knights,r_0087_0004__St_dot__r_0087_0005__John,r_0087_0003__of).
arc(r_0087_0007__a_r_0087_0010__force,r_0087_0008__holy,attrib).
arc(r_0087_0007__a_r_0087_0010__force,r_0087_0009__military,attrib).
arc(r_0087_0012__made,r_0087_0001__The_r_0087_0002__Knights,arg0).
arc(r_0087_0012__made,r_0087_0014__way,arg1).
arc(r_0087_0014__way,r_0087_0001__The_r_0087_0002__Knights,gen).
arc(r_0087_0014__way,r_0087_0017__and,r_0087_0015__to).
arc(r_0087_0017__and,r_0087_0016__Rhodes,conj1).
arc(r_0087_0017__and,r_0087_0018__Kos,conj2).
arc(r_0087_0017__and,r_0087_0020__the_r_0087_0021__Dodecanese,r_0087_0019__in).
arc(z_0087_5005,r_0087_0001__The_r_0087_0002__Knights,arg0).
arc(z_0087_5005,r_0087_0007__a_r_0087_0010__force,prd).
fof(formula,axiom,
? [R_0087_0004__ST_DOT__R_0087_0005__JOHN,R_0087_0001__THE_R_0087_0002__KNIGHTS,R_0087_0016__RHODES,R_0087_0018__KOS,R_0087_0020__THE_R_0087_0021__DODECANESE,R_0087_0017__AND,R_0087_0014__WAY,R_0087_0012__MADE,R_0087_0008__HOLY,R_0087_0009__MILITARY,R_0087_0007__A_R_0087_0010__FORCE,Z_0087_5005] :
( r_0087_0004__St_dot__r_0087_0005__John(R_0087_0004__ST_DOT__R_0087_0005__JOHN)
& r_0087_0008__holy(R_0087_0008__HOLY)
& r_0087_0009__military(R_0087_0009__MILITARY)
& r_0087_0016__Rhodes(R_0087_0016__RHODES)
& r_0087_0018__Kos(R_0087_0018__KOS)
& r_0087_0020__the_r_0087_0021__Dodecanese(R_0087_0020__THE_R_0087_0021__DODECANESE)
& z_0087_5005(Z_0087_5005)
& has_prd(Z_0087_5005,R_0087_0007__A_R_0087_0010__FORCE)
& r_0087_0007__a_r_0087_0010__force(R_0087_0007__A_R_0087_0010__FORCE)
& has_attrib(R_0087_0007__A_R_0087_0010__FORCE,R_0087_0009__MILITARY)
& has_attrib(R_0087_0007__A_R_0087_0010__FORCE,R_0087_0008__HOLY)
& has_arg0(Z_0087_5005,R_0087_0001__THE_R_0087_0002__KNIGHTS)
& r_0087_0001__The_r_0087_0002__Knights(R_0087_0001__THE_R_0087_0002__KNIGHTS)
& has_r_0087_0003__of(R_0087_0001__THE_R_0087_0002__KNIGHTS,R_0087_0004__ST_DOT__R_0087_0005__JOHN)
& r_0087_0012__made(R_0087_0012__MADE)
& has_arg1(R_0087_0012__MADE,R_0087_0014__WAY)
& r_0087_0014__way(R_0087_0014__WAY)
& has_r_0087_0015__to(R_0087_0014__WAY,R_0087_0017__AND)
& r_0087_0017__and(R_0087_0017__AND)
& has_r_0087_0019__in(R_0087_0017__AND,R_0087_0020__THE_R_0087_0021__DODECANESE)
& has_conj2(R_0087_0017__AND,R_0087_0018__KOS)
& has_conj1(R_0087_0017__AND,R_0087_0016__RHODES)
& has_gen(R_0087_0014__WAY,R_0087_0001__THE_R_0087_0002__KNIGHTS)
& has_arg0(R_0087_0012__MADE,R_0087_0001__THE_R_0087_0002__KNIGHTS) ) ).