69_a_history_of_greece
It was here that he wrote what was to become the final book of the New Testament, the Book of Revelation.
arc(r_0069_0002__was, r_0069_0003__here, qual7).
arc(r_0069_0002__was, r_0069_0004__that_r_0069_0006__wrote, prd).
arc(r_0069_0002__was, z_000_69_a_history_of_greece_2, arg0).
arc(r_0069_0004__that_r_0069_0006__wrote, r_0069_0005__he, arg0).
arc(r_0069_0004__that_r_0069_0006__wrote, x_000_69_a_history_of_greece_10, nim13).
arc(r_0069_0004__that_r_0069_0006__wrote, z_000_69_a_history_of_greece_20, arg1).
arc(r_0069_0008__was, r_0069_0009__to_r_0069_0010__become, scope).
arc(r_0069_0009__to_r_0069_0010__become, r_0069_0011__the_r_0069_0013__book, prd).
arc(r_0069_0009__to_r_0069_0010__become, z_000_69_a_history_of_greece_20, arg0).
arc(r_0069_0011__the_r_0069_0013__book, r_0069_0012__final, attrib35).
arc(r_0069_0011__the_r_0069_0013__book, r_0069_0015__the_r_0069_0016__New_r_0069_0017__Testament, r_0069_0014__of).
arc(r_0069_0019__the_r_0069_0020__Book, r_0069_0022__Revelation, r_0069_0021__of).
arc(z_000_69_a_history_of_greece_52, r_0069_0011__the_r_0069_0013__book, arg0).
arc(z_000_69_a_history_of_greece_52, r_0069_0019__the_r_0069_0020__Book, prd).
fof(formula,axiom,
? [R_69_2_WAS,Z_69_A_HISTORY_OF_GREECE_2,R_69_4_THAT_WROTE,R_69_5_HE,X_69_A_HISTORY_OF_GREECE_10,R_69_3_HERE,R_69_8_WAS_TO_BECOME,Z_69_A_HISTORY_OF_GREECE_20,Z_69_A_HISTORY_OF_GREECE_52,R_69_11_THE_BOOK,R_69_12_FINAL,R_69_15_THE_NEW_TESTAMENT,R_69_19_THE_BOOK,R_69_22_REVELATION] :
( he(R_69_5_HE)
& here(R_69_3_HERE)
& final(R_69_12_FINAL)
& the_New_Testament(R_69_15_THE_NEW_TESTAMENT)
& revelation(R_69_22_REVELATION)
& was(R_69_2_WAS,Z_69_A_HISTORY_OF_GREECE_2,R_69_4_THAT_WROTE)
& that_wrote(R_69_4_THAT_WROTE,R_69_5_HE,Z_69_A_HISTORY_OF_GREECE_20)
& nim13(R_69_4_THAT_WROTE,X_69_A_HISTORY_OF_GREECE_10)
& qual7(R_69_2_WAS,R_69_3_HERE)
& was_to_become(R_69_8_WAS_TO_BECOME,Z_69_A_HISTORY_OF_GREECE_20,R_69_11_THE_BOOK)
& the_book(R_69_11_THE_BOOK)
& attrib35(R_69_11_THE_BOOK,R_69_12_FINAL)
& of(R_69_11_THE_BOOK,R_69_15_THE_NEW_TESTAMENT)
& z_69_a_history_of_greece_52(Z_69_A_HISTORY_OF_GREECE_52,R_69_11_THE_BOOK,R_69_19_THE_BOOK)
& the_Book(R_69_19_THE_BOOK)
& of(R_69_19_THE_BOOK,R_69_22_REVELATION) ) ).
( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
(BED;_cleft_V_ was;{be})
(ADVP-FOC (ADV here;{here}))
(IP-CLF (C that;{that})
(NP-NIM *T*)
(NP-SBJ;{JOHN} (PRO he;{he}))
(VBD;_Tn_ wrote;{write})
(NP-OB1 (IP-REL (NP-SBJ (RPRO what;{what}))
(BED;_cat_Vt_ was;{be})
(IP-INF-CAT (TO to;{to})
(VB;_Ln_ become;{become})
(NP-PRD (D the;{the})
(ADJP (ADJ final;{final}))
(N book;{book})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(NPR New;{New})
(NPR Testament;{Testament})))
(PUNC ,)
(IP-PPL (NP-PRD (D the;{the})
(N Book;{book})
(PP (P-ROLE of;{of})
(NP (NPR Revelation;{Revelation}))))))))))
(PUNC .))
(ID 69_a_history_of_greece))