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.
( (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 ,)
(PRN (NP (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))
arc(r_0068_0007__arrived_r_0068_0008__on,r_0068_0002__a_dot_d_dot__r_0068_0003__95,r_0068_0001__In__nim).
arc(r_0068_0007__arrived_r_0068_0008__on,r_0068_0005__St_dot__r_0068_0006__John,arg0).
arc(r_0068_0007__arrived_r_0068_0008__on,r_0068_0009__Patmos,arg1).
arc(r_0068_0007__arrived_r_0068_0008__on,r_0068_0020__a_r_0068_0022__prisoner,r_0068_0019__as__nim).
arc(r_0068_0011__a_r_0068_0014__island,r_0068_0012__small,attrib).
arc(r_0068_0011__a_r_0068_0014__island,r_0068_0013__rocky,attrib).
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,attrib).
arc(z_0068_5004,r_0068_0009__Patmos,arg0).
arc(z_0068_5004,r_0068_0011__a_r_0068_0014__island,prd).
fof(formula,axiom,
? [R_0068_0002__A_DOT_D_DOT__R_0068_0003__95,R_0068_0005__ST_DOT__R_0068_0006__JOHN,R_0068_0009__PATMOS,R_0068_0021__POLITICAL,R_0068_0020__A_R_0068_0022__PRISONER,R_0068_0007__ARRIVED_R_0068_0008__ON,R_0068_0012__SMALL,R_0068_0013__ROCKY,R_0068_0016__THE_R_0068_0017__DODECANESE,R_0068_0011__A_R_0068_0014__ISLAND,Z_0068_5004] :
( r_0068_0002__a_dot_d_dot__r_0068_0003__95(R_0068_0002__A_DOT_D_DOT__R_0068_0003__95)
& r_0068_0005__St_dot__r_0068_0006__John(R_0068_0005__ST_DOT__R_0068_0006__JOHN)
& r_0068_0009__Patmos(R_0068_0009__PATMOS)
& r_0068_0012__small(R_0068_0012__SMALL)
& r_0068_0013__rocky(R_0068_0013__ROCKY)
& r_0068_0016__the_r_0068_0017__Dodecanese(R_0068_0016__THE_R_0068_0017__DODECANESE)
& r_0068_0021__political(R_0068_0021__POLITICAL)
& z_0068_5004(Z_0068_5004)
& has_prd(Z_0068_5004,R_0068_0011__A_R_0068_0014__ISLAND)
& r_0068_0011__a_r_0068_0014__island(R_0068_0011__A_R_0068_0014__ISLAND)
& has_r_0068_0015__in(R_0068_0011__A_R_0068_0014__ISLAND,R_0068_0016__THE_R_0068_0017__DODECANESE)
& has_attrib(R_0068_0011__A_R_0068_0014__ISLAND,R_0068_0013__ROCKY)
& has_attrib(R_0068_0011__A_R_0068_0014__ISLAND,R_0068_0012__SMALL)
& has_arg0(Z_0068_5004,R_0068_0009__PATMOS)
& r_0068_0007__arrived_r_0068_0008__on(R_0068_0007__ARRIVED_R_0068_0008__ON)
& has_r_0068_0019__as__nim(R_0068_0007__ARRIVED_R_0068_0008__ON,R_0068_0020__A_R_0068_0022__PRISONER)
& r_0068_0020__a_r_0068_0022__prisoner(R_0068_0020__A_R_0068_0022__PRISONER)
& has_attrib(R_0068_0020__A_R_0068_0022__PRISONER,R_0068_0021__POLITICAL)
& has_arg1(R_0068_0007__ARRIVED_R_0068_0008__ON,R_0068_0009__PATMOS)
& has_arg0(R_0068_0007__ARRIVED_R_0068_0008__ON,R_0068_0005__ST_DOT__R_0068_0006__JOHN)
& has_r_0068_0001__In__nim(R_0068_0007__ARRIVED_R_0068_0008__ON,R_0068_0002__A_DOT_D_DOT__R_0068_0003__95) ) ).