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 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]
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_4 In n68_a_history_of_greece_7 a.d. n68_a_history_of_greece_9 95 n68_a_history_of_greece_11 , n68_a_history_of_greece_14 St. n68_a_history_of_greece_16 John n68_a_history_of_greece_18 arrived n68_a_history_of_greece_21 on n68_a_history_of_greece_24 Patmos n68_a_history_of_greece_26 , n68_a_history_of_greece_30 a n68_a_history_of_greece_33 small n68_a_history_of_greece_36 rocky n68_a_history_of_greece_38 island n68_a_history_of_greece_41 in n68_a_history_of_greece_44 the n68_a_history_of_greece_46 Dodecanese n68_a_history_of_greece_48 , n68_a_history_of_greece_51 as n68_a_history_of_greece_54 a n68_a_history_of_greece_57 political n68_a_history_of_greece_59 prisoner n68_a_history_of_greece_61 . n68_a_history_of_greece_1 IP-MAT n68_a_history_of_greece_2 PP-NIM n68_a_history_of_greece_1->n68_a_history_of_greece_2 n68_a_history_of_greece_10 PUNC n68_a_history_of_greece_1->n68_a_history_of_greece_10 n68_a_history_of_greece_12 NP-SBJ n68_a_history_of_greece_1->n68_a_history_of_greece_12 n68_a_history_of_greece_17 VBD;_Ipr_ n68_a_history_of_greece_1->n68_a_history_of_greece_17 n68_a_history_of_greece_19 PP-CLR n68_a_history_of_greece_1->n68_a_history_of_greece_19 n68_a_history_of_greece_47 PUNC n68_a_history_of_greece_1->n68_a_history_of_greece_47 n68_a_history_of_greece_49 PP-NIM n68_a_history_of_greece_1->n68_a_history_of_greece_49 n68_a_history_of_greece_60 PUNC n68_a_history_of_greece_1->n68_a_history_of_greece_60 n68_a_history_of_greece_3 P-ROLE n68_a_history_of_greece_2->n68_a_history_of_greece_3 n68_a_history_of_greece_5 NP n68_a_history_of_greece_2->n68_a_history_of_greece_5 n68_a_history_of_greece_3->n68_a_history_of_greece_4 n68_a_history_of_greece_6 NPR n68_a_history_of_greece_5->n68_a_history_of_greece_6 n68_a_history_of_greece_8 NPR n68_a_history_of_greece_5->n68_a_history_of_greece_8 n68_a_history_of_greece_6->n68_a_history_of_greece_7 n68_a_history_of_greece_8->n68_a_history_of_greece_9 n68_a_history_of_greece_10->n68_a_history_of_greece_11 n68_a_history_of_greece_13 NPR n68_a_history_of_greece_12->n68_a_history_of_greece_13 n68_a_history_of_greece_15 NPR n68_a_history_of_greece_12->n68_a_history_of_greece_15 n68_a_history_of_greece_13->n68_a_history_of_greece_14 n68_a_history_of_greece_15->n68_a_history_of_greece_16 n68_a_history_of_greece_17->n68_a_history_of_greece_18 n68_a_history_of_greece_20 P-ROLE n68_a_history_of_greece_19->n68_a_history_of_greece_20 n68_a_history_of_greece_22 NP n68_a_history_of_greece_19->n68_a_history_of_greece_22 n68_a_history_of_greece_20->n68_a_history_of_greece_21 n68_a_history_of_greece_23 NPR n68_a_history_of_greece_22->n68_a_history_of_greece_23 n68_a_history_of_greece_25 PUNC n68_a_history_of_greece_22->n68_a_history_of_greece_25 n68_a_history_of_greece_27 IP-PPL n68_a_history_of_greece_22->n68_a_history_of_greece_27 n68_a_history_of_greece_23->n68_a_history_of_greece_24 n68_a_history_of_greece_25->n68_a_history_of_greece_26 n68_a_history_of_greece_28 NP-PRD n68_a_history_of_greece_27->n68_a_history_of_greece_28 n68_a_history_of_greece_29 D n68_a_history_of_greece_28->n68_a_history_of_greece_29 n68_a_history_of_greece_31 ADJP n68_a_history_of_greece_28->n68_a_history_of_greece_31 n68_a_history_of_greece_34 ADJP n68_a_history_of_greece_28->n68_a_history_of_greece_34 n68_a_history_of_greece_37 N n68_a_history_of_greece_28->n68_a_history_of_greece_37 n68_a_history_of_greece_39 PP n68_a_history_of_greece_28->n68_a_history_of_greece_39 n68_a_history_of_greece_29->n68_a_history_of_greece_30 n68_a_history_of_greece_32 ADJ n68_a_history_of_greece_31->n68_a_history_of_greece_32 n68_a_history_of_greece_32->n68_a_history_of_greece_33 n68_a_history_of_greece_35 ADJ n68_a_history_of_greece_34->n68_a_history_of_greece_35 n68_a_history_of_greece_35->n68_a_history_of_greece_36 n68_a_history_of_greece_37->n68_a_history_of_greece_38 n68_a_history_of_greece_40 P-ROLE n68_a_history_of_greece_39->n68_a_history_of_greece_40 n68_a_history_of_greece_42 NP n68_a_history_of_greece_39->n68_a_history_of_greece_42 n68_a_history_of_greece_40->n68_a_history_of_greece_41 n68_a_history_of_greece_43 D n68_a_history_of_greece_42->n68_a_history_of_greece_43 n68_a_history_of_greece_45 NPR n68_a_history_of_greece_42->n68_a_history_of_greece_45 n68_a_history_of_greece_43->n68_a_history_of_greece_44 n68_a_history_of_greece_45->n68_a_history_of_greece_46 n68_a_history_of_greece_47->n68_a_history_of_greece_48 n68_a_history_of_greece_50 P-ROLE n68_a_history_of_greece_49->n68_a_history_of_greece_50 n68_a_history_of_greece_52 NP n68_a_history_of_greece_49->n68_a_history_of_greece_52 n68_a_history_of_greece_50->n68_a_history_of_greece_51 n68_a_history_of_greece_53 D n68_a_history_of_greece_52->n68_a_history_of_greece_53 n68_a_history_of_greece_55 ADJP n68_a_history_of_greece_52->n68_a_history_of_greece_55 n68_a_history_of_greece_58 N n68_a_history_of_greece_52->n68_a_history_of_greece_58 n68_a_history_of_greece_53->n68_a_history_of_greece_54 n68_a_history_of_greece_56 ADJ n68_a_history_of_greece_55->n68_a_history_of_greece_56 n68_a_history_of_greece_56->n68_a_history_of_greece_57 n68_a_history_of_greece_58->n68_a_history_of_greece_59 n68_a_history_of_greece_60->n68_a_history_of_greece_61
( (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))