68_a_history_of_greece
In a.d. 95, St. John arrived on Patmos, a small rocky island in the Dodecanese, as a political prisoner.
arc(r_0068_0007__arrived, r_0068_0002__a_dot_d_dot__r_0068_0003__95, r_0068_0001__In_nim5).
arc(r_0068_0007__arrived, r_0068_0005__St_dot__r_0068_0006__John, arg0).
arc(r_0068_0007__arrived, r_0068_0009__Patmos, r_0068_0008__on_clr22).
arc(r_0068_0007__arrived, r_0068_0020__a_r_0068_0022__prisoner, r_0068_0019__as_nim52).
arc(r_0068_0011__a_r_0068_0014__island, r_0068_0012__small, attrib31).
arc(r_0068_0011__a_r_0068_0014__island, r_0068_0013__rocky, attrib34).
arc(r_0068_0011__a_r_0068_0014__island, r_0068_0016__the_r_0068_0017__Dodecanese, r_0068_0015__in).
arc(r_0068_0020__a_r_0068_0022__prisoner, r_0068_0021__political, attrib55).
arc(z_000_68_a_history_of_greece_27, r_0068_0009__Patmos, arg0).
arc(z_000_68_a_history_of_greece_27, r_0068_0011__a_r_0068_0014__island, prd).
fof(formula,axiom,
? [R_68_7_ARRIVED,R_68_5_ST_DOT_JOHN,R_68_2_A_DOT_D_DOT_95,R_68_20_A_PRISONER,R_68_21_POLITICAL,Z_68_A_HISTORY_OF_GREECE_27,R_68_9_PATMOS,R_68_11_A_ISLAND,R_68_12_SMALL,R_68_13_ROCKY,R_68_16_THE_DODECANESE] :
( st_dot_John(R_68_5_ST_DOT_JOHN)
& a_dot_d_dot_95(R_68_2_A_DOT_D_DOT_95)
& political(R_68_21_POLITICAL)
& patmos(R_68_9_PATMOS)
& small(R_68_12_SMALL)
& rocky(R_68_13_ROCKY)
& the_Dodecanese(R_68_16_THE_DODECANESE)
& arrived(R_68_7_ARRIVED,R_68_5_ST_DOT_JOHN)
& in_nim5(R_68_7_ARRIVED,R_68_2_A_DOT_D_DOT_95)
& on_clr22(R_68_7_ARRIVED,R_68_9_PATMOS)
& as_nim52(R_68_7_ARRIVED,R_68_20_A_PRISONER)
& a_prisoner(R_68_20_A_PRISONER)
& attrib55(R_68_20_A_PRISONER,R_68_21_POLITICAL)
& z_68_a_history_of_greece_27(Z_68_A_HISTORY_OF_GREECE_27,R_68_9_PATMOS,R_68_11_A_ISLAND)
& a_island(R_68_11_A_ISLAND)
& attrib31(R_68_11_A_ISLAND,R_68_12_SMALL)
& attrib34(R_68_11_A_ISLAND,R_68_13_ROCKY)
& in(R_68_11_A_ISLAND,R_68_16_THE_DODECANESE) ) ).
( (IP-MAT (PP-NIM (P-ROLE In;{in})
(NP (NPR a<dot>d<dot>)
(NPR 95)))
(PUNC ,)
(NP-SBJ;{JOHN} (NPR St<dot>)
(NPR John;{John}))
(VBD;_Ipr_ arrived;{arrive[on]})
(PP-CLR (P-ROLE on;{on})
(NP (NPR Patmos;{Patmos})
(PUNC ,)
(IP-PPL (NP-PRD (D a;{a})
(ADJP (ADJ small;{small}))
(ADJP (ADJ rocky;{rocky}))
(N island;{island})
(PP (P-ROLE in;{in})
(NP (D the;{the})
(NPR Dodecanese;{Dodecanese})))))))
(PUNC ,)
(PP-NIM (P-ROLE as;{as})
(NP (D a;{a})
(ADJP (ADJ political;{political}))
(N prisoner;{prisoner})))
(PUNC .))
(ID 68_a_history_of_greece))