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.
( (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 ,)
(PRN (NP (D the;{the})
(N Book;{book})
(PP (P-ROLE of;{of})
(NP (NPR Revelation;{Revelation}))))))))))
(PUNC .))
(ID 69_a_history_of_greece))
arc(r_0069_0002__was,r_0069_0003__here,arg0).
arc(r_0069_0002__was,z_0069_5013,prd).
arc(r_0069_0006__wrote,r_0069_0005__he,arg0).
arc(r_0069_0006__wrote,r_0069_0007__what,arg1).
arc(r_0069_0006__wrote,z_0069_5013,nim).
arc(r_0069_0008__was,r_0069_0010__become,scope).
arc(r_0069_0010__become,r_0069_0007__what,arg0).
arc(r_0069_0010__become,r_0069_0011__the_r_0069_0013__book,prd).
arc(r_0069_0011__the_r_0069_0013__book,r_0069_0012__final,attrib).
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_0069_5008,r_0069_0011__the_r_0069_0013__book,arg0).
arc(z_0069_5008,r_0069_0019__the_r_0069_0020__Book,prd).
fof(formula,axiom,
? [R_0069_0003__HERE,Z_0069_5013,R_0069_0002__WAS,R_0069_0005__HE,R_0069_0007__WHAT,R_0069_0006__WROTE,R_0069_0012__FINAL,R_0069_0015__THE_R_0069_0016__NEW_R_0069_0017__TESTAMENT,R_0069_0011__THE_R_0069_0013__BOOK,R_0069_0008__WAS_R_0069_0010__BECOME,R_0069_0022__REVELATION,R_0069_0019__THE_R_0069_0020__BOOK,Z_0069_5008] :
( r_0069_0003__here(R_0069_0003__HERE)
& r_0069_0005__he(R_0069_0005__HE)
& r_0069_0007__what(R_0069_0007__WHAT)
& r_0069_0012__final(R_0069_0012__FINAL)
& r_0069_0015__the_r_0069_0016__New_r_0069_0017__Testament(R_0069_0015__THE_R_0069_0016__NEW_R_0069_0017__TESTAMENT)
& r_0069_0022__Revelation(R_0069_0022__REVELATION)
& z_0069_5013(Z_0069_5013)
& z_0069_5008(Z_0069_5008)
& has_prd(Z_0069_5008,R_0069_0019__THE_R_0069_0020__BOOK)
& r_0069_0019__the_r_0069_0020__Book(R_0069_0019__THE_R_0069_0020__BOOK)
& has_r_0069_0021__of(R_0069_0019__THE_R_0069_0020__BOOK,R_0069_0022__REVELATION)
& has_arg0(Z_0069_5008,R_0069_0011__THE_R_0069_0013__BOOK)
& r_0069_0011__the_r_0069_0013__book(R_0069_0011__THE_R_0069_0013__BOOK)
& has_r_0069_0014__of(R_0069_0011__THE_R_0069_0013__BOOK,R_0069_0015__THE_R_0069_0016__NEW_R_0069_0017__TESTAMENT)
& has_attrib(R_0069_0011__THE_R_0069_0013__BOOK,R_0069_0012__FINAL)
& r_0069_0008__was_r_0069_0010__become(R_0069_0008__WAS_R_0069_0010__BECOME)
& has_prd(R_0069_0008__WAS_R_0069_0010__BECOME,R_0069_0011__THE_R_0069_0013__BOOK)
& has_arg0(R_0069_0008__WAS_R_0069_0010__BECOME,R_0069_0007__WHAT)
& r_0069_0006__wrote(R_0069_0006__WROTE)
& has_nim(R_0069_0006__WROTE,Z_0069_5013)
& has_arg1(R_0069_0006__WROTE,R_0069_0007__WHAT)
& has_arg0(R_0069_0006__WROTE,R_0069_0005__HE)
& r_0069_0002__was(R_0069_0002__WAS)
& has_prd(R_0069_0002__WAS,Z_0069_5013)
& has_arg0(R_0069_0002__WAS,R_0069_0003__HERE) ) ).