87_a_history_of_greece
The Knights of St. John, a holy military force, made their way to Rhodes and Kos in the Dodecanese.
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, attrib21).
arc(r_0087_0007__a_r_0087_0010__force, r_0087_0009__military, attrib24).
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_000_87_a_history_of_greece_17, r_0087_0001__The_r_0087_0002__Knights, arg0).
arc(z_000_87_a_history_of_greece_17, r_0087_0007__a_r_0087_0010__force, prd).
fof(formula,axiom,
? [R_87_12_MADE,R_87_14_WAY,R_87_17_AND,R_87_16_RHODES,R_87_18_KOS,R_87_20_THE_DODECANESE,Z_87_A_HISTORY_OF_GREECE_17,R_87_1_THE_KNIGHTS,R_87_4_ST_DOT_JOHN,R_87_7_A_FORCE,R_87_8_HOLY,R_87_9_MILITARY] :
( rhodes(R_87_16_RHODES)
& kos(R_87_18_KOS)
& the_Dodecanese(R_87_20_THE_DODECANESE)
& st_dot_John(R_87_4_ST_DOT_JOHN)
& holy(R_87_8_HOLY)
& military(R_87_9_MILITARY)
& made(R_87_12_MADE,R_87_1_THE_KNIGHTS,R_87_14_WAY)
& the_Knights(R_87_1_THE_KNIGHTS)
& of(R_87_1_THE_KNIGHTS,R_87_4_ST_DOT_JOHN)
& way(R_87_14_WAY)
& gen(R_87_14_WAY,R_87_1_THE_KNIGHTS)
& to(R_87_14_WAY,R_87_17_AND)
& and(R_87_17_AND)
& conj1(R_87_17_AND,R_87_16_RHODES)
& conj2(R_87_17_AND,R_87_18_KOS)
& in(R_87_17_AND,R_87_20_THE_DODECANESE)
& z_87_a_history_of_greece_17(Z_87_A_HISTORY_OF_GREECE_17,R_87_1_THE_KNIGHTS,R_87_7_A_FORCE)
& a_force(R_87_7_A_FORCE)
& attrib21(R_87_7_A_FORCE,R_87_8_HOLY)
& attrib24(R_87_7_A_FORCE,R_87_9_MILITARY) ) ).
( (IP-MAT (NP-SBJ;{KNIGHTS} (D The;{the})
(NS Knights;{knight})
(PP (P-ROLE of;{of})
(NP (NPR St<dot>)
(NPR John;{John})))
(PUNC ,)
(IP-PPL (NP-PRD (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))