105_a_history_of_greece
In return, the Turks violently put down every insurrection, including the massacre on Chios, when 22,000 people were slaughtered.

%3 r_0105_0007__put_r_0105_0008__down put down r_0105_0002__return return r_0105_0007__put_r_0105_0008__down->r_0105_0002__return In [nim] r_0105_0004__the_r_0105_0005__Turks the Turks r_0105_0007__put_r_0105_0008__down->r_0105_0004__the_r_0105_0005__Turks [arg0] r_0105_0006__violently violently r_0105_0007__put_r_0105_0008__down->r_0105_0006__violently [nim] r_0105_0010__insurrection insurrection r_0105_0007__put_r_0105_0008__down->r_0105_0010__insurrection [arg1] r_0105_0009__every_quant every [quant] r_0105_0009__every_quant->r_0105_0007__put_r_0105_0008__down [scope] r_0105_0009__every_quant->r_0105_0010__insurrection [restriction] r_0105_0012__including including r_0105_0012__including->r_0105_0010__insurrection [arg0] r_0105_0013__the_r_0105_0014__massacre the massacre r_0105_0012__including->r_0105_0013__the_r_0105_0014__massacre [arg1] r_0105_0016__Chios Chios r_0105_0013__the_r_0105_0014__massacre->r_0105_0016__Chios on r_0105_0021__were were r_0105_0021__were->r_0105_0013__the_r_0105_0014__massacre [nim] r_0105_0022__slaughtered slaughtered r_0105_0021__were->r_0105_0022__slaughtered [scope] r_0105_0019__22_comma_000_r_0105_0020__people 22,000 people r_0105_0022__slaughtered->r_0105_0019__22_comma_000_r_0105_0020__people [arg1] z_000_105_a_history_of_greece_57 r_0105_0022__slaughtered->z_000_105_a_history_of_greece_57 [arg0]
arc(r_0105_0007__put_r_0105_0008__down, r_0105_0002__return, r_0105_0001__In_nim5).
arc(r_0105_0007__put_r_0105_0008__down, r_0105_0004__the_r_0105_0005__Turks, arg0).
arc(r_0105_0007__put_r_0105_0008__down, r_0105_0006__violently, nim15).
arc(r_0105_0007__put_r_0105_0008__down, r_0105_0010__insurrection, arg1).
arc(r_0105_0009__every_quant, r_0105_0007__put_r_0105_0008__down, scope).
arc(r_0105_0009__every_quant, r_0105_0010__insurrection, restriction).
arc(r_0105_0012__including, r_0105_0010__insurrection, arg0).
arc(r_0105_0012__including, r_0105_0013__the_r_0105_0014__massacre, arg1).
arc(r_0105_0013__the_r_0105_0014__massacre, r_0105_0016__Chios, r_0105_0015__on).
arc(r_0105_0021__were, r_0105_0013__the_r_0105_0014__massacre, nim46).
arc(r_0105_0021__were, r_0105_0022__slaughtered, scope).
arc(r_0105_0022__slaughtered, r_0105_0019__22_comma_000_r_0105_0020__people, arg1).
arc(r_0105_0022__slaughtered, z_000_105_a_history_of_greece_57, arg0).



%3 r_0105_0021__were_r_0105_0022__slaughtered were slaughtered z_000_105_a_history_of_greece_57 r_0105_0021__were_r_0105_0022__slaughtered->z_000_105_a_history_of_greece_57 [arg0] r_0105_0019__22_comma_000_r_0105_0020__people 22,000 people r_0105_0021__were_r_0105_0022__slaughtered->r_0105_0019__22_comma_000_r_0105_0020__people [arg1] r_0105_0013__the_r_0105_0014__massacre the massacre r_0105_0021__were_r_0105_0022__slaughtered->r_0105_0013__the_r_0105_0014__massacre [nim] r_0105_0016__Chios Chios r_0105_0013__the_r_0105_0014__massacre->r_0105_0016__Chios on r_0105_0012__including including r_0105_0012__including->r_0105_0013__the_r_0105_0014__massacre [arg1] r_0105_0010__insurrection insurrection r_0105_0012__including->r_0105_0010__insurrection [arg0] r_0105_0009__every_quant every [quant] r_0105_0009__every_quant->r_0105_0012__including [restriction] r_0105_0007__put_r_0105_0008__down put down r_0105_0009__every_quant->r_0105_0007__put_r_0105_0008__down [scope] r_0105_0007__put_r_0105_0008__down->r_0105_0010__insurrection [arg1] r_0105_0006__violently violently r_0105_0007__put_r_0105_0008__down->r_0105_0006__violently [nim] r_0105_0004__the_r_0105_0005__Turks the Turks r_0105_0007__put_r_0105_0008__down->r_0105_0004__the_r_0105_0005__Turks [arg0] r_0105_0002__return return r_0105_0007__put_r_0105_0008__down->r_0105_0002__return In [nim]
fof(formula,axiom,
    ? [R_105_21_WERE_SLAUGHTERED,Z_105_A_HISTORY_OF_GREECE_57,R_105_19_22_COMMA_PEOPLE,R_105_13_THE_MASSACRE,R_105_16_CHIOS] :
      ( 22_comma_people(R_105_19_22_COMMA_PEOPLE)
      & chios(R_105_16_CHIOS)
      & ! [R_105_12_INCLUDING,R_105_10_INSURRECTION] :
          ( ( insurrection(R_105_10_INSURRECTION)
            & including(R_105_12_INCLUDING,R_105_10_INSURRECTION,R_105_13_THE_MASSACRE) )
         => ? [R_105_7_PUT_DOWN,R_105_4_THE_TURKS,R_105_6_VIOLENTLY,R_105_2_RETURN] :
              ( the_Turks(R_105_4_THE_TURKS)
              & violently(R_105_6_VIOLENTLY)
              & return(R_105_2_RETURN)
              & put_down(R_105_7_PUT_DOWN,R_105_4_THE_TURKS,R_105_10_INSURRECTION)
              & nim15(R_105_7_PUT_DOWN,R_105_6_VIOLENTLY)
              & in_nim5(R_105_7_PUT_DOWN,R_105_2_RETURN) ) )
      & were_slaughtered(R_105_21_WERE_SLAUGHTERED,Z_105_A_HISTORY_OF_GREECE_57,R_105_19_22_COMMA_PEOPLE)
      & nim46(R_105_21_WERE_SLAUGHTERED,R_105_13_THE_MASSACRE)
      & the_massacre(R_105_13_THE_MASSACRE)
      & on(R_105_13_THE_MASSACRE,R_105_16_CHIOS) ) ).



n105_a_history_of_greece n105_a_history_of_greece__1_1_1_1 In n105_a_history_of_greece__1_1_2_1_1 return n105_a_history_of_greece__1_2_1 , n105_a_history_of_greece__1_3_1_1 the n105_a_history_of_greece__1_3_2_1 Turks n105_a_history_of_greece__1_4_1_1 violently n105_a_history_of_greece__1_5_1 put n105_a_history_of_greece__1_6_1 down n105_a_history_of_greece__1_7_1_1 every n105_a_history_of_greece__1_7_2_1 insurrection n105_a_history_of_greece__1_7_3_1 , n105_a_history_of_greece__1_7_4_1_1 including n105_a_history_of_greece__1_7_4_2_1_1 the n105_a_history_of_greece__1_7_4_2_2_1 massacre n105_a_history_of_greece__1_7_4_2_3_1_1 on n105_a_history_of_greece__1_7_4_2_3_2_1_1 Chios n105_a_history_of_greece__1_7_4_2_4_1 , n105_a_history_of_greece__1_7_4_2_5_1_1_1 when n105_a_history_of_greece__1_7_4_2_5_2_1_1 22,000 n105_a_history_of_greece__1_7_4_2_5_2_2_1 people n105_a_history_of_greece__1_7_4_2_5_3_1 were n105_a_history_of_greece__1_7_4_2_5_4_1_1 * n105_a_history_of_greece__1_7_4_2_5_4_2_1 slaughtered n105_a_history_of_greece__1_8_1 . n105_a_history_of_greece__1 IP-MAT n105_a_history_of_greece__1_1 PP-NIM n105_a_history_of_greece__1->n105_a_history_of_greece__1_1 n105_a_history_of_greece__1_2 PUNC n105_a_history_of_greece__1->n105_a_history_of_greece__1_2 n105_a_history_of_greece__1_3 NP-SBJ n105_a_history_of_greece__1->n105_a_history_of_greece__1_3 n105_a_history_of_greece__1_4 ADVP-NIM n105_a_history_of_greece__1->n105_a_history_of_greece__1_4 n105_a_history_of_greece__1_5 VBD;_phr_Vn<=>p_ n105_a_history_of_greece__1->n105_a_history_of_greece__1_5 n105_a_history_of_greece__1_6 RP n105_a_history_of_greece__1->n105_a_history_of_greece__1_6 n105_a_history_of_greece__1_7 NP-OB1 n105_a_history_of_greece__1->n105_a_history_of_greece__1_7 n105_a_history_of_greece__1_8 PUNC n105_a_history_of_greece__1->n105_a_history_of_greece__1_8 n105_a_history_of_greece__1_1_1 P-ROLE n105_a_history_of_greece__1_1->n105_a_history_of_greece__1_1_1 n105_a_history_of_greece__1_1_2 NP n105_a_history_of_greece__1_1->n105_a_history_of_greece__1_1_2 n105_a_history_of_greece__1_1_1->n105_a_history_of_greece__1_1_1_1 n105_a_history_of_greece__1_1_2_1 N n105_a_history_of_greece__1_1_2->n105_a_history_of_greece__1_1_2_1 n105_a_history_of_greece__1_1_2_1->n105_a_history_of_greece__1_1_2_1_1 n105_a_history_of_greece__1_2->n105_a_history_of_greece__1_2_1 n105_a_history_of_greece__1_3_1 D n105_a_history_of_greece__1_3->n105_a_history_of_greece__1_3_1 n105_a_history_of_greece__1_3_2 NPRS n105_a_history_of_greece__1_3->n105_a_history_of_greece__1_3_2 n105_a_history_of_greece__1_3_1->n105_a_history_of_greece__1_3_1_1 n105_a_history_of_greece__1_3_2->n105_a_history_of_greece__1_3_2_1 n105_a_history_of_greece__1_4_1 ADV n105_a_history_of_greece__1_4->n105_a_history_of_greece__1_4_1 n105_a_history_of_greece__1_4_1->n105_a_history_of_greece__1_4_1_1 n105_a_history_of_greece__1_5->n105_a_history_of_greece__1_5_1 n105_a_history_of_greece__1_6->n105_a_history_of_greece__1_6_1 n105_a_history_of_greece__1_7_1 Q n105_a_history_of_greece__1_7->n105_a_history_of_greece__1_7_1 n105_a_history_of_greece__1_7_2 N n105_a_history_of_greece__1_7->n105_a_history_of_greece__1_7_2 n105_a_history_of_greece__1_7_3 PUNC n105_a_history_of_greece__1_7->n105_a_history_of_greece__1_7_3 n105_a_history_of_greece__1_7_4 IP-PPL n105_a_history_of_greece__1_7->n105_a_history_of_greece__1_7_4 n105_a_history_of_greece__1_7_1->n105_a_history_of_greece__1_7_1_1 n105_a_history_of_greece__1_7_2->n105_a_history_of_greece__1_7_2_1 n105_a_history_of_greece__1_7_3->n105_a_history_of_greece__1_7_3_1 n105_a_history_of_greece__1_7_4_1 VAG;_Tn_ n105_a_history_of_greece__1_7_4->n105_a_history_of_greece__1_7_4_1 n105_a_history_of_greece__1_7_4_2 NP-OB1 n105_a_history_of_greece__1_7_4->n105_a_history_of_greece__1_7_4_2 n105_a_history_of_greece__1_7_4_1->n105_a_history_of_greece__1_7_4_1_1 n105_a_history_of_greece__1_7_4_2_1 D n105_a_history_of_greece__1_7_4_2->n105_a_history_of_greece__1_7_4_2_1 n105_a_history_of_greece__1_7_4_2_2 N n105_a_history_of_greece__1_7_4_2->n105_a_history_of_greece__1_7_4_2_2 n105_a_history_of_greece__1_7_4_2_3 PP n105_a_history_of_greece__1_7_4_2->n105_a_history_of_greece__1_7_4_2_3 n105_a_history_of_greece__1_7_4_2_4 PUNC n105_a_history_of_greece__1_7_4_2->n105_a_history_of_greece__1_7_4_2_4 n105_a_history_of_greece__1_7_4_2_5 IP-REL n105_a_history_of_greece__1_7_4_2->n105_a_history_of_greece__1_7_4_2_5 n105_a_history_of_greece__1_7_4_2_1->n105_a_history_of_greece__1_7_4_2_1_1 n105_a_history_of_greece__1_7_4_2_2->n105_a_history_of_greece__1_7_4_2_2_1 n105_a_history_of_greece__1_7_4_2_3_1 P-ROLE n105_a_history_of_greece__1_7_4_2_3->n105_a_history_of_greece__1_7_4_2_3_1 n105_a_history_of_greece__1_7_4_2_3_2 NP n105_a_history_of_greece__1_7_4_2_3->n105_a_history_of_greece__1_7_4_2_3_2 n105_a_history_of_greece__1_7_4_2_3_1->n105_a_history_of_greece__1_7_4_2_3_1_1 n105_a_history_of_greece__1_7_4_2_3_2_1 NPR n105_a_history_of_greece__1_7_4_2_3_2->n105_a_history_of_greece__1_7_4_2_3_2_1 n105_a_history_of_greece__1_7_4_2_3_2_1->n105_a_history_of_greece__1_7_4_2_3_2_1_1 n105_a_history_of_greece__1_7_4_2_4->n105_a_history_of_greece__1_7_4_2_4_1 n105_a_history_of_greece__1_7_4_2_5_1 ADVP-NIM n105_a_history_of_greece__1_7_4_2_5->n105_a_history_of_greece__1_7_4_2_5_1 n105_a_history_of_greece__1_7_4_2_5_2 NP-SBJ n105_a_history_of_greece__1_7_4_2_5->n105_a_history_of_greece__1_7_4_2_5_2 n105_a_history_of_greece__1_7_4_2_5_3 BED;_cat_VePASS_ n105_a_history_of_greece__1_7_4_2_5->n105_a_history_of_greece__1_7_4_2_5_3 n105_a_history_of_greece__1_7_4_2_5_4 IP-PPL-CAT n105_a_history_of_greece__1_7_4_2_5->n105_a_history_of_greece__1_7_4_2_5_4 n105_a_history_of_greece__1_7_4_2_5_1_1 RADV n105_a_history_of_greece__1_7_4_2_5_1->n105_a_history_of_greece__1_7_4_2_5_1_1 n105_a_history_of_greece__1_7_4_2_5_1_1->n105_a_history_of_greece__1_7_4_2_5_1_1_1 n105_a_history_of_greece__1_7_4_2_5_2_1 NUM n105_a_history_of_greece__1_7_4_2_5_2->n105_a_history_of_greece__1_7_4_2_5_2_1 n105_a_history_of_greece__1_7_4_2_5_2_2 NS n105_a_history_of_greece__1_7_4_2_5_2->n105_a_history_of_greece__1_7_4_2_5_2_2 n105_a_history_of_greece__1_7_4_2_5_2_1->n105_a_history_of_greece__1_7_4_2_5_2_1_1 n105_a_history_of_greece__1_7_4_2_5_2_2->n105_a_history_of_greece__1_7_4_2_5_2_2_1 n105_a_history_of_greece__1_7_4_2_5_3->n105_a_history_of_greece__1_7_4_2_5_3_1 n105_a_history_of_greece__1_7_4_2_5_4_1 NP-LGS n105_a_history_of_greece__1_7_4_2_5_4->n105_a_history_of_greece__1_7_4_2_5_4_1 n105_a_history_of_greece__1_7_4_2_5_4_2 VVN;_Tn_ n105_a_history_of_greece__1_7_4_2_5_4->n105_a_history_of_greece__1_7_4_2_5_4_2 n105_a_history_of_greece__1_7_4_2_5_4_1->n105_a_history_of_greece__1_7_4_2_5_4_1_1 n105_a_history_of_greece__1_7_4_2_5_4_2->n105_a_history_of_greece__1_7_4_2_5_4_2_1 n105_a_history_of_greece__1_8->n105_a_history_of_greece__1_8_1
( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (N return;{return})))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (NPRS Turks;{Turks}))
          (ADVP-NIM (ADV violently;{violently}))
          (VBD;_phr_Vn<=>p_ put;{put[down]})
          (RP down;{down})
          (NP-OB1 (Q every;{every})
                  (N insurrection;{insurrection})
                  (PUNC ,)
                  (IP-PPL (VAG;_Tn_ including;{include})
                          (NP-OB1 (D the;{the})
                                  (N massacre;{massacre})
                                  (PP (P-ROLE on;{on})
                                      (NP (NPR Chios;{Chios})))
                                  (PUNC ,)
                                  (IP-REL (ADVP-NIM (RADV when;{when}))
                                          (NP-SBJ (NUM 22,000)
                                                  (NS people;{people}))
                                          (BED;_cat_VePASS_ were;{be})
                                          (IP-PPL-CAT (NP-LGS *)
                                                      (VVN;_Tn_ slaughtered;{slaughter}))))))
          (PUNC .))
  (ID 105_a_history_of_greece))