Context                Previous, Next                Top


94_a_history_of_greece
In 1453, they took Constantinople, and immediately made it their capital, renaming it Istanbul.

%3 r_0094_0005__took took r_0094_0002__1453 1453 r_0094_0005__took->r_0094_0002__1453 In [nim] r_0094_0004__they they r_0094_0005__took->r_0094_0004__they [arg0] r_0094_0006__Constantinople Constantinople r_0094_0005__took->r_0094_0006__Constantinople [arg1] r_0094_0008__and and r_0094_0008__and->r_0094_0005__took [conj1] z_000_94_a_history_of_greece_42 r_0094_0008__and->z_000_94_a_history_of_greece_42 [conj2] r_0094_0010__made made z_000_94_a_history_of_greece_42->r_0094_0010__made [scope] r_0094_0015__renaming renaming z_000_94_a_history_of_greece_42->r_0094_0015__renaming [restriction] r_0094_0010__made->r_0094_0002__1453 In [nim] r_0094_0010__made->r_0094_0004__they [arg0] r_0094_0010__made->r_0094_0006__Constantinople [arg1] r_0094_0009__immediately immediately r_0094_0010__made->r_0094_0009__immediately [nim] r_0094_0013__capital capital r_0094_0010__made->r_0094_0013__capital [prd] r_0094_0013__capital->r_0094_0004__they [gen] r_0094_0015__renaming->r_0094_0004__they [arg0] r_0094_0015__renaming->r_0094_0006__Constantinople [arg1] r_0094_0017__Istanbul Istanbul r_0094_0015__renaming->r_0094_0017__Istanbul [prd] 
arc(r_0094_0005__took, r_0094_0002__1453, r_0094_0001__In_nim5).
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_000_94_a_history_of_greece_42, conj2).
arc(r_0094_0010__made, r_0094_0002__1453, r_0094_0001__In_nim5).
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, nim26).
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_000_94_a_history_of_greece_42, r_0094_0010__made, scope).
arc(z_000_94_a_history_of_greece_42, r_0094_0015__renaming, restriction).


%3 z_000_94_a_history_of_greece_42 r_0094_0015__renaming renaming z_000_94_a_history_of_greece_42->r_0094_0015__renaming [conj1] r_0094_0010__made made z_000_94_a_history_of_greece_42->r_0094_0010__made [conj2] r_0094_0017__Istanbul Istanbul r_0094_0015__renaming->r_0094_0017__Istanbul [prd] r_0094_0006__Constantinople Constantinople r_0094_0015__renaming->r_0094_0006__Constantinople [arg1] r_0094_0004__they they r_0094_0015__renaming->r_0094_0004__they [arg0] r_0094_0010__made->r_0094_0006__Constantinople [arg1] r_0094_0010__made->r_0094_0004__they [arg0] r_0094_0013__capital capital r_0094_0010__made->r_0094_0013__capital [prd] r_0094_0009__immediately immediately r_0094_0010__made->r_0094_0009__immediately [nim] r_0094_0002__1453 1453 r_0094_0010__made->r_0094_0002__1453 In [nim] r_0094_0013__capital->r_0094_0004__they [gen] r_0094_0008__and and r_0094_0008__and->z_000_94_a_history_of_greece_42 [conj2] r_0094_0005__took took r_0094_0008__and->r_0094_0005__took [conj1] r_0094_0005__took->r_0094_0006__Constantinople [arg1] r_0094_0005__took->r_0094_0004__they [arg0] r_0094_0005__took->r_0094_0002__1453 In [nim] 
fof(formula,axiom,
    ? [R_94_8_AND,R_94_5_TOOK,Z_94_A_HISTORY_OF_GREECE_42,R_94_15_RENAMING,R_94_17_ISTANBUL,R_94_10_MADE,R_94_6_CONSTANTINOPLE,R_94_9_IMMEDIATELY,R_94_13_CAPITAL,R_94_4_THEY,R_94_2_1453] :
      ( istanbul(R_94_17_ISTANBUL)
      & constantinople(R_94_6_CONSTANTINOPLE)
      & immediately(R_94_9_IMMEDIATELY)
      & they(R_94_4_THEY)
      & 1453(R_94_2_1453)
      & and(R_94_8_AND)
      & conj1(R_94_8_AND,R_94_5_TOOK)
      & took(R_94_5_TOOK,R_94_4_THEY,R_94_6_CONSTANTINOPLE)
      & in_nim5(R_94_5_TOOK,R_94_2_1453)
      & conj2(R_94_8_AND,Z_94_A_HISTORY_OF_GREECE_42)
      & z_94_a_history_of_greece_42(Z_94_A_HISTORY_OF_GREECE_42)
      & conj1(Z_94_A_HISTORY_OF_GREECE_42,R_94_15_RENAMING)
      & renaming(R_94_15_RENAMING,R_94_4_THEY,R_94_6_CONSTANTINOPLE,R_94_17_ISTANBUL)
      & conj2(Z_94_A_HISTORY_OF_GREECE_42,R_94_10_MADE)
      & made(R_94_10_MADE,R_94_4_THEY,R_94_6_CONSTANTINOPLE,R_94_13_CAPITAL)
      & capital(R_94_13_CAPITAL)
      & gen(R_94_13_CAPITAL,R_94_4_THEY)
      & nim26(R_94_10_MADE,R_94_9_IMMEDIATELY)
      & in_nim5(R_94_10_MADE,R_94_2_1453) ) ).


n94_a_history_of_greece n94_a_history_of_greece__1_1_1_1 In n94_a_history_of_greece__1_1_2_1_1 1453 n94_a_history_of_greece__1_2_1 , n94_a_history_of_greece__1_3_1_1 they n94_a_history_of_greece__1_4_1_1_1 took n94_a_history_of_greece__1_4_1_2_1_1 Constantinople n94_a_history_of_greece__1_4_2_1 , n94_a_history_of_greece__1_4_3_1_1 and n94_a_history_of_greece__1_4_3_2_1_1_1 immediately n94_a_history_of_greece__1_4_3_2_2_1 made n94_a_history_of_greece__1_4_3_2_3_1_1 it n94_a_history_of_greece__1_4_3_2_4_1_1_1 their n94_a_history_of_greece__1_4_3_2_4_2_1 capital n94_a_history_of_greece__1_4_3_2_5_1 , n94_a_history_of_greece__1_4_3_2_6_1_1_1 renaming n94_a_history_of_greece__1_4_3_2_6_1_2_1_1 it n94_a_history_of_greece__1_4_3_2_6_1_3_1_1 Istanbul n94_a_history_of_greece__1_5_1 . n94_a_history_of_greece__1 IP-MAT n94_a_history_of_greece__1_1 PP-NIM n94_a_history_of_greece__1->n94_a_history_of_greece__1_1 n94_a_history_of_greece__1_2 PUNC n94_a_history_of_greece__1->n94_a_history_of_greece__1_2 n94_a_history_of_greece__1_3 NP-SBJ n94_a_history_of_greece__1->n94_a_history_of_greece__1_3 n94_a_history_of_greece__1_4 ILYR n94_a_history_of_greece__1->n94_a_history_of_greece__1_4 n94_a_history_of_greece__1_5 PUNC n94_a_history_of_greece__1->n94_a_history_of_greece__1_5 n94_a_history_of_greece__1_1_1 P-ROLE n94_a_history_of_greece__1_1->n94_a_history_of_greece__1_1_1 n94_a_history_of_greece__1_1_2 NP n94_a_history_of_greece__1_1->n94_a_history_of_greece__1_1_2 n94_a_history_of_greece__1_1_1->n94_a_history_of_greece__1_1_1_1 n94_a_history_of_greece__1_1_2_1 NPR n94_a_history_of_greece__1_1_2->n94_a_history_of_greece__1_1_2_1 n94_a_history_of_greece__1_1_2_1->n94_a_history_of_greece__1_1_2_1_1 n94_a_history_of_greece__1_2->n94_a_history_of_greece__1_2_1 n94_a_history_of_greece__1_3_1 PRO n94_a_history_of_greece__1_3->n94_a_history_of_greece__1_3_1 n94_a_history_of_greece__1_3_1->n94_a_history_of_greece__1_3_1_1 n94_a_history_of_greece__1_4_1 ILYR n94_a_history_of_greece__1_4->n94_a_history_of_greece__1_4_1 n94_a_history_of_greece__1_4_2 PUNC n94_a_history_of_greece__1_4->n94_a_history_of_greece__1_4_2 n94_a_history_of_greece__1_4_3 CONJP n94_a_history_of_greece__1_4->n94_a_history_of_greece__1_4_3 n94_a_history_of_greece__1_4_1_1 VBD;_Tn_ n94_a_history_of_greece__1_4_1->n94_a_history_of_greece__1_4_1_1 n94_a_history_of_greece__1_4_1_2 NP-OB1 n94_a_history_of_greece__1_4_1->n94_a_history_of_greece__1_4_1_2 n94_a_history_of_greece__1_4_1_1->n94_a_history_of_greece__1_4_1_1_1 n94_a_history_of_greece__1_4_1_2_1 NPR n94_a_history_of_greece__1_4_1_2->n94_a_history_of_greece__1_4_1_2_1 n94_a_history_of_greece__1_4_1_2_1->n94_a_history_of_greece__1_4_1_2_1_1 n94_a_history_of_greece__1_4_2->n94_a_history_of_greece__1_4_2_1 n94_a_history_of_greece__1_4_3_1 CONJ n94_a_history_of_greece__1_4_3->n94_a_history_of_greece__1_4_3_1 n94_a_history_of_greece__1_4_3_2 ILYR n94_a_history_of_greece__1_4_3->n94_a_history_of_greece__1_4_3_2 n94_a_history_of_greece__1_4_3_1->n94_a_history_of_greece__1_4_3_1_1 n94_a_history_of_greece__1_4_3_2_1 ADVP-NIM n94_a_history_of_greece__1_4_3_2->n94_a_history_of_greece__1_4_3_2_1 n94_a_history_of_greece__1_4_3_2_2 VBD;_Cn.n_ n94_a_history_of_greece__1_4_3_2->n94_a_history_of_greece__1_4_3_2_2 n94_a_history_of_greece__1_4_3_2_3 NP-OB1 n94_a_history_of_greece__1_4_3_2->n94_a_history_of_greece__1_4_3_2_3 n94_a_history_of_greece__1_4_3_2_4 NP-PRD n94_a_history_of_greece__1_4_3_2->n94_a_history_of_greece__1_4_3_2_4 n94_a_history_of_greece__1_4_3_2_5 PUNC n94_a_history_of_greece__1_4_3_2->n94_a_history_of_greece__1_4_3_2_5 n94_a_history_of_greece__1_4_3_2_6 PP-SCON n94_a_history_of_greece__1_4_3_2->n94_a_history_of_greece__1_4_3_2_6 n94_a_history_of_greece__1_4_3_2_1_1 ADV n94_a_history_of_greece__1_4_3_2_1->n94_a_history_of_greece__1_4_3_2_1_1 n94_a_history_of_greece__1_4_3_2_1_1->n94_a_history_of_greece__1_4_3_2_1_1_1 n94_a_history_of_greece__1_4_3_2_2->n94_a_history_of_greece__1_4_3_2_2_1 n94_a_history_of_greece__1_4_3_2_3_1 PRO n94_a_history_of_greece__1_4_3_2_3->n94_a_history_of_greece__1_4_3_2_3_1 n94_a_history_of_greece__1_4_3_2_3_1->n94_a_history_of_greece__1_4_3_2_3_1_1 n94_a_history_of_greece__1_4_3_2_4_1 NP-GEN n94_a_history_of_greece__1_4_3_2_4->n94_a_history_of_greece__1_4_3_2_4_1 n94_a_history_of_greece__1_4_3_2_4_2 N n94_a_history_of_greece__1_4_3_2_4->n94_a_history_of_greece__1_4_3_2_4_2 n94_a_history_of_greece__1_4_3_2_4_1_1 PRO;_genm_ n94_a_history_of_greece__1_4_3_2_4_1->n94_a_history_of_greece__1_4_3_2_4_1_1 n94_a_history_of_greece__1_4_3_2_4_1_1->n94_a_history_of_greece__1_4_3_2_4_1_1_1 n94_a_history_of_greece__1_4_3_2_4_2->n94_a_history_of_greece__1_4_3_2_4_2_1 n94_a_history_of_greece__1_4_3_2_5->n94_a_history_of_greece__1_4_3_2_5_1 n94_a_history_of_greece__1_4_3_2_6_1 IP-PPL2 n94_a_history_of_greece__1_4_3_2_6->n94_a_history_of_greece__1_4_3_2_6_1 n94_a_history_of_greece__1_4_3_2_6_1_1 VAG;_Cn.n_ n94_a_history_of_greece__1_4_3_2_6_1->n94_a_history_of_greece__1_4_3_2_6_1_1 n94_a_history_of_greece__1_4_3_2_6_1_2 NP-OB1 n94_a_history_of_greece__1_4_3_2_6_1->n94_a_history_of_greece__1_4_3_2_6_1_2 n94_a_history_of_greece__1_4_3_2_6_1_3 NP-PRD n94_a_history_of_greece__1_4_3_2_6_1->n94_a_history_of_greece__1_4_3_2_6_1_3 n94_a_history_of_greece__1_4_3_2_6_1_1->n94_a_history_of_greece__1_4_3_2_6_1_1_1 n94_a_history_of_greece__1_4_3_2_6_1_2_1 PRO n94_a_history_of_greece__1_4_3_2_6_1_2->n94_a_history_of_greece__1_4_3_2_6_1_2_1 n94_a_history_of_greece__1_4_3_2_6_1_2_1->n94_a_history_of_greece__1_4_3_2_6_1_2_1_1 n94_a_history_of_greece__1_4_3_2_6_1_3_1 NPR n94_a_history_of_greece__1_4_3_2_6_1_3->n94_a_history_of_greece__1_4_3_2_6_1_3_1 n94_a_history_of_greece__1_4_3_2_6_1_3_1->n94_a_history_of_greece__1_4_3_2_6_1_3_1_1 n94_a_history_of_greece__1_5->n94_a_history_of_greece__1_5_1 
( (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))