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.

n68_a_history_of_greece n68_a_history_of_greece__1_1_1_1 In n68_a_history_of_greece__1_1_2_1_1 a.d. n68_a_history_of_greece__1_1_2_2_1 95 n68_a_history_of_greece__1_2_1 , n68_a_history_of_greece__1_3_1_1 St. n68_a_history_of_greece__1_3_2_1 John n68_a_history_of_greece__1_4_1 arrived n68_a_history_of_greece__1_5_1_1 on n68_a_history_of_greece__1_5_2_1_1 Patmos n68_a_history_of_greece__1_5_2_2_1 , n68_a_history_of_greece__1_5_2_3_1_1_1 a n68_a_history_of_greece__1_5_2_3_1_2_1_1 small n68_a_history_of_greece__1_5_2_3_1_3_1_1 rocky n68_a_history_of_greece__1_5_2_3_1_4_1 island n68_a_history_of_greece__1_5_2_3_1_5_1_1 in n68_a_history_of_greece__1_5_2_3_1_5_2_1_1 the n68_a_history_of_greece__1_5_2_3_1_5_2_2_1 Dodecanese n68_a_history_of_greece__1_6_1 , n68_a_history_of_greece__1_7_1_1 as n68_a_history_of_greece__1_7_2_1_1 a n68_a_history_of_greece__1_7_2_2_1_1 political n68_a_history_of_greece__1_7_2_3_1 prisoner n68_a_history_of_greece__1_8_1 . n68_a_history_of_greece__1 IP-MAT n68_a_history_of_greece__1_1 PP-NIM n68_a_history_of_greece__1->n68_a_history_of_greece__1_1 n68_a_history_of_greece__1_2 PUNC n68_a_history_of_greece__1->n68_a_history_of_greece__1_2 n68_a_history_of_greece__1_3 NP-SBJ n68_a_history_of_greece__1->n68_a_history_of_greece__1_3 n68_a_history_of_greece__1_4 VBD;_Ipr_ n68_a_history_of_greece__1->n68_a_history_of_greece__1_4 n68_a_history_of_greece__1_5 PP-CLR n68_a_history_of_greece__1->n68_a_history_of_greece__1_5 n68_a_history_of_greece__1_6 PUNC n68_a_history_of_greece__1->n68_a_history_of_greece__1_6 n68_a_history_of_greece__1_7 PP-NIM n68_a_history_of_greece__1->n68_a_history_of_greece__1_7 n68_a_history_of_greece__1_8 PUNC n68_a_history_of_greece__1->n68_a_history_of_greece__1_8 n68_a_history_of_greece__1_1_1 P-ROLE n68_a_history_of_greece__1_1->n68_a_history_of_greece__1_1_1 n68_a_history_of_greece__1_1_2 NP n68_a_history_of_greece__1_1->n68_a_history_of_greece__1_1_2 n68_a_history_of_greece__1_1_1->n68_a_history_of_greece__1_1_1_1 n68_a_history_of_greece__1_1_2_1 NPR n68_a_history_of_greece__1_1_2->n68_a_history_of_greece__1_1_2_1 n68_a_history_of_greece__1_1_2_2 NPR n68_a_history_of_greece__1_1_2->n68_a_history_of_greece__1_1_2_2 n68_a_history_of_greece__1_1_2_1->n68_a_history_of_greece__1_1_2_1_1 n68_a_history_of_greece__1_1_2_2->n68_a_history_of_greece__1_1_2_2_1 n68_a_history_of_greece__1_2->n68_a_history_of_greece__1_2_1 n68_a_history_of_greece__1_3_1 NPR n68_a_history_of_greece__1_3->n68_a_history_of_greece__1_3_1 n68_a_history_of_greece__1_3_2 NPR n68_a_history_of_greece__1_3->n68_a_history_of_greece__1_3_2 n68_a_history_of_greece__1_3_1->n68_a_history_of_greece__1_3_1_1 n68_a_history_of_greece__1_3_2->n68_a_history_of_greece__1_3_2_1 n68_a_history_of_greece__1_4->n68_a_history_of_greece__1_4_1 n68_a_history_of_greece__1_5_1 P-ROLE n68_a_history_of_greece__1_5->n68_a_history_of_greece__1_5_1 n68_a_history_of_greece__1_5_2 NP n68_a_history_of_greece__1_5->n68_a_history_of_greece__1_5_2 n68_a_history_of_greece__1_5_1->n68_a_history_of_greece__1_5_1_1 n68_a_history_of_greece__1_5_2_1 NPR n68_a_history_of_greece__1_5_2->n68_a_history_of_greece__1_5_2_1 n68_a_history_of_greece__1_5_2_2 PUNC n68_a_history_of_greece__1_5_2->n68_a_history_of_greece__1_5_2_2 n68_a_history_of_greece__1_5_2_3 PRN n68_a_history_of_greece__1_5_2->n68_a_history_of_greece__1_5_2_3 n68_a_history_of_greece__1_5_2_1->n68_a_history_of_greece__1_5_2_1_1 n68_a_history_of_greece__1_5_2_2->n68_a_history_of_greece__1_5_2_2_1 n68_a_history_of_greece__1_5_2_3_1 NP n68_a_history_of_greece__1_5_2_3->n68_a_history_of_greece__1_5_2_3_1 n68_a_history_of_greece__1_5_2_3_1_1 D n68_a_history_of_greece__1_5_2_3_1->n68_a_history_of_greece__1_5_2_3_1_1 n68_a_history_of_greece__1_5_2_3_1_2 ADJP n68_a_history_of_greece__1_5_2_3_1->n68_a_history_of_greece__1_5_2_3_1_2 n68_a_history_of_greece__1_5_2_3_1_3 ADJP n68_a_history_of_greece__1_5_2_3_1->n68_a_history_of_greece__1_5_2_3_1_3 n68_a_history_of_greece__1_5_2_3_1_4 N n68_a_history_of_greece__1_5_2_3_1->n68_a_history_of_greece__1_5_2_3_1_4 n68_a_history_of_greece__1_5_2_3_1_5 PP n68_a_history_of_greece__1_5_2_3_1->n68_a_history_of_greece__1_5_2_3_1_5 n68_a_history_of_greece__1_5_2_3_1_1->n68_a_history_of_greece__1_5_2_3_1_1_1 n68_a_history_of_greece__1_5_2_3_1_2_1 ADJ n68_a_history_of_greece__1_5_2_3_1_2->n68_a_history_of_greece__1_5_2_3_1_2_1 n68_a_history_of_greece__1_5_2_3_1_2_1->n68_a_history_of_greece__1_5_2_3_1_2_1_1 n68_a_history_of_greece__1_5_2_3_1_3_1 ADJ n68_a_history_of_greece__1_5_2_3_1_3->n68_a_history_of_greece__1_5_2_3_1_3_1 n68_a_history_of_greece__1_5_2_3_1_3_1->n68_a_history_of_greece__1_5_2_3_1_3_1_1 n68_a_history_of_greece__1_5_2_3_1_4->n68_a_history_of_greece__1_5_2_3_1_4_1 n68_a_history_of_greece__1_5_2_3_1_5_1 P-ROLE n68_a_history_of_greece__1_5_2_3_1_5->n68_a_history_of_greece__1_5_2_3_1_5_1 n68_a_history_of_greece__1_5_2_3_1_5_2 NP n68_a_history_of_greece__1_5_2_3_1_5->n68_a_history_of_greece__1_5_2_3_1_5_2 n68_a_history_of_greece__1_5_2_3_1_5_1->n68_a_history_of_greece__1_5_2_3_1_5_1_1 n68_a_history_of_greece__1_5_2_3_1_5_2_1 D n68_a_history_of_greece__1_5_2_3_1_5_2->n68_a_history_of_greece__1_5_2_3_1_5_2_1 n68_a_history_of_greece__1_5_2_3_1_5_2_2 NPR n68_a_history_of_greece__1_5_2_3_1_5_2->n68_a_history_of_greece__1_5_2_3_1_5_2_2 n68_a_history_of_greece__1_5_2_3_1_5_2_1->n68_a_history_of_greece__1_5_2_3_1_5_2_1_1 n68_a_history_of_greece__1_5_2_3_1_5_2_2->n68_a_history_of_greece__1_5_2_3_1_5_2_2_1 n68_a_history_of_greece__1_6->n68_a_history_of_greece__1_6_1 n68_a_history_of_greece__1_7_1 P-ROLE n68_a_history_of_greece__1_7->n68_a_history_of_greece__1_7_1 n68_a_history_of_greece__1_7_2 NP n68_a_history_of_greece__1_7->n68_a_history_of_greece__1_7_2 n68_a_history_of_greece__1_7_1->n68_a_history_of_greece__1_7_1_1 n68_a_history_of_greece__1_7_2_1 D n68_a_history_of_greece__1_7_2->n68_a_history_of_greece__1_7_2_1 n68_a_history_of_greece__1_7_2_2 ADJP n68_a_history_of_greece__1_7_2->n68_a_history_of_greece__1_7_2_2 n68_a_history_of_greece__1_7_2_3 N n68_a_history_of_greece__1_7_2->n68_a_history_of_greece__1_7_2_3 n68_a_history_of_greece__1_7_2_1->n68_a_history_of_greece__1_7_2_1_1 n68_a_history_of_greece__1_7_2_2_1 ADJ n68_a_history_of_greece__1_7_2_2->n68_a_history_of_greece__1_7_2_2_1 n68_a_history_of_greece__1_7_2_2_1->n68_a_history_of_greece__1_7_2_2_1_1 n68_a_history_of_greece__1_7_2_3->n68_a_history_of_greece__1_7_2_3_1 n68_a_history_of_greece__1_8->n68_a_history_of_greece__1_8_1
( (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))



%3 z_0068_5004 r_0068_0011__a_r_0068_0014__island a island z_0068_5004->r_0068_0011__a_r_0068_0014__island [prd] r_0068_0009__Patmos Patmos z_0068_5004->r_0068_0009__Patmos [arg0] r_0068_0016__the_r_0068_0017__Dodecanese the Dodecanese r_0068_0011__a_r_0068_0014__island->r_0068_0016__the_r_0068_0017__Dodecanese in r_0068_0013__rocky rocky r_0068_0011__a_r_0068_0014__island->r_0068_0013__rocky [attrib] r_0068_0012__small small r_0068_0011__a_r_0068_0014__island->r_0068_0012__small [attrib] r_0068_0020__a_r_0068_0022__prisoner a prisoner r_0068_0021__political political r_0068_0020__a_r_0068_0022__prisoner->r_0068_0021__political [attrib] r_0068_0007__arrived_r_0068_0008__on arrived on r_0068_0007__arrived_r_0068_0008__on->r_0068_0009__Patmos [arg1] r_0068_0007__arrived_r_0068_0008__on->r_0068_0020__a_r_0068_0022__prisoner as [nim] r_0068_0005__St_dot__r_0068_0006__John St. John r_0068_0007__arrived_r_0068_0008__on->r_0068_0005__St_dot__r_0068_0006__John [arg0] r_0068_0002__a_dot_d_dot__r_0068_0003__95 a.d. 95 r_0068_0007__arrived_r_0068_0008__on->r_0068_0002__a_dot_d_dot__r_0068_0003__95 In [nim]
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).



%3 r_0068_0007__arrived_r_0068_0008__on arrived on r_0068_0002__a_dot_d_dot__r_0068_0003__95 a.d. 95 r_0068_0007__arrived_r_0068_0008__on->r_0068_0002__a_dot_d_dot__r_0068_0003__95 In [nim] r_0068_0005__St_dot__r_0068_0006__John St. John r_0068_0007__arrived_r_0068_0008__on->r_0068_0005__St_dot__r_0068_0006__John [arg0] r_0068_0009__Patmos Patmos r_0068_0007__arrived_r_0068_0008__on->r_0068_0009__Patmos [arg1] r_0068_0020__a_r_0068_0022__prisoner a prisoner r_0068_0007__arrived_r_0068_0008__on->r_0068_0020__a_r_0068_0022__prisoner as [nim] r_0068_0021__political political r_0068_0020__a_r_0068_0022__prisoner->r_0068_0021__political [attrib] r_0068_0011__a_r_0068_0014__island a island r_0068_0012__small small r_0068_0011__a_r_0068_0014__island->r_0068_0012__small [attrib] r_0068_0013__rocky rocky r_0068_0011__a_r_0068_0014__island->r_0068_0013__rocky [attrib] r_0068_0016__the_r_0068_0017__Dodecanese the Dodecanese r_0068_0011__a_r_0068_0014__island->r_0068_0016__the_r_0068_0017__Dodecanese in z_0068_5004 z_0068_5004->r_0068_0009__Patmos [arg0] 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) ) ).