94_a_history_of_greece
In 1453, they took Constantinople, and immediately made it their capital, renaming it Istanbul.
( (IP-MAT (PP-NIM (P-ROLE In;{in})
(NP (NPR 1453)))
(PUNC ,)
(NP-SBJ;{OTTOMANS} (PRO they;{they}))
(ILYR (ILYR (VBD;_Tn_ took;{take})
(NP-OB1;{CONSTANTINOPLE} (NPR Constantinople;{Constantinople})))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (ADVP-NIM (ADV immediately;{immediately}))
(VBD;_Cn.n_ made;{make})
(NP-OB1;{CONSTANTINOPLE} (PRO it;{it}))
(NP-PRD (NP-GEN;{OTTOMANS} (PRO;_genm_ their;{their}))
(N capital;{capital}))
(PUNC ,)
(PP-SCON (IP-PPL2 (VAG;_Cn.n_ renaming;{rename})
(NP-OB1;{CONSTANTINOPLE} (PRO it;{it}))
(NP-PRD (NPR Istanbul;{Istanbul})))))))
(PUNC .))
(ID 94_a_history_of_greece))
arc(r_0094_0005__took,r_0094_0002__1453,r_0094_0001__In__nim).
arc(r_0094_0005__took,r_0094_0004__they,arg0).
arc(r_0094_0005__took,r_0094_0006__Constantinople,arg1).
arc(r_0094_0008__and,r_0094_0005__took,conj1).
arc(r_0094_0008__and,z_0094_5003,conj2).
arc(r_0094_0010__made,r_0094_0002__1453,r_0094_0001__In__nim).
arc(r_0094_0010__made,r_0094_0004__they,arg0).
arc(r_0094_0010__made,r_0094_0006__Constantinople,arg1).
arc(r_0094_0010__made,r_0094_0009__immediately,nim).
arc(r_0094_0010__made,r_0094_0013__capital,prd).
arc(r_0094_0013__capital,r_0094_0004__they,gen).
arc(r_0094_0015__renaming,r_0094_0004__they,arg0).
arc(r_0094_0015__renaming,r_0094_0006__Constantinople,arg1).
arc(r_0094_0015__renaming,r_0094_0017__Istanbul,prd).
arc(z_0094_5003,r_0094_0010__made,scope).
arc(z_0094_5003,r_0094_0015__renaming,restriction).
fof(formula,axiom,
? [R_0094_0002__1453,R_0094_0004__THEY,R_0094_0006__CONSTANTINOPLE,R_0094_0005__TOOK,R_0094_0009__IMMEDIATELY,R_0094_0013__CAPITAL,R_0094_0010__MADE,R_0094_0017__ISTANBUL,R_0094_0015__RENAMING,Z_0094_5003,R_0094_0008__AND] :
( r_0094_0002__1453(R_0094_0002__1453)
& r_0094_0004__they(R_0094_0004__THEY)
& r_0094_0006__Constantinople(R_0094_0006__CONSTANTINOPLE)
& r_0094_0009__immediately(R_0094_0009__IMMEDIATELY)
& r_0094_0017__Istanbul(R_0094_0017__ISTANBUL)
& r_0094_0008__and(R_0094_0008__AND)
& has_conj2(R_0094_0008__AND,Z_0094_5003)
& z_0094_5003(Z_0094_5003)
& has_conj1(Z_0094_5003,R_0094_0015__RENAMING)
& r_0094_0015__renaming(R_0094_0015__RENAMING)
& has_prd(R_0094_0015__RENAMING,R_0094_0017__ISTANBUL)
& has_arg1(R_0094_0015__RENAMING,R_0094_0006__CONSTANTINOPLE)
& has_arg0(R_0094_0015__RENAMING,R_0094_0004__THEY)
& has_conj2(Z_0094_5003,R_0094_0010__MADE)
& r_0094_0010__made(R_0094_0010__MADE)
& has_prd(R_0094_0010__MADE,R_0094_0013__CAPITAL)
& r_0094_0013__capital(R_0094_0013__CAPITAL)
& has_gen(R_0094_0013__CAPITAL,R_0094_0004__THEY)
& has_nim(R_0094_0010__MADE,R_0094_0009__IMMEDIATELY)
& has_arg1(R_0094_0010__MADE,R_0094_0006__CONSTANTINOPLE)
& has_arg0(R_0094_0010__MADE,R_0094_0004__THEY)
& has_r_0094_0001__In__nim(R_0094_0010__MADE,R_0094_0002__1453)
& has_conj1(R_0094_0008__AND,R_0094_0005__TOOK)
& r_0094_0005__took(R_0094_0005__TOOK)
& has_arg1(R_0094_0005__TOOK,R_0094_0006__CONSTANTINOPLE)
& has_arg0(R_0094_0005__TOOK,R_0094_0004__THEY)
& has_r_0094_0001__In__nim(R_0094_0005__TOOK,R_0094_0002__1453) ) ).