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.

%3 r_0068_0007__arrived arrived r_0068_0002__a_dot_d_dot__r_0068_0003__95 a.d. 95 r_0068_0007__arrived->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_0005__St_dot__r_0068_0006__John [arg0] r_0068_0009__Patmos Patmos r_0068_0007__arrived->r_0068_0009__Patmos on [clr] r_0068_0020__a_r_0068_0022__prisoner a prisoner r_0068_0007__arrived->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_000_68_a_history_of_greece_27 z_000_68_a_history_of_greece_27->r_0068_0009__Patmos [arg0] z_000_68_a_history_of_greece_27->r_0068_0011__a_r_0068_0014__island [prd]
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).



%3 z_000_68_a_history_of_greece_27 r_0068_0011__a_r_0068_0014__island a island z_000_68_a_history_of_greece_27->r_0068_0011__a_r_0068_0014__island [prd] r_0068_0009__Patmos Patmos z_000_68_a_history_of_greece_27->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 arrived r_0068_0007__arrived->r_0068_0009__Patmos on [clr] r_0068_0007__arrived->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_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_0002__a_dot_d_dot__r_0068_0003__95 In [nim]
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) ) ).



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 IP-PPL 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-PRD 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 ,)
                      (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))