Context                Previous, Next                Top


47_a_history_of_greece
The Persians were defeated, and Athens duly punished the islands that had turned against it.

%3 r_0047_0003__were were r_0047_0004__defeated defeated r_0047_0003__were->r_0047_0004__defeated [scope] r_0047_0001__The_r_0047_0002__Persians The Persians r_0047_0004__defeated->r_0047_0001__The_r_0047_0002__Persians [arg1] z_000_47_a_history_of_greece_12 r_0047_0004__defeated->z_000_47_a_history_of_greece_12 [arg0] r_0047_0006__and and r_0047_0006__and->r_0047_0003__were [conj1] r_0047_0009__punished punished r_0047_0006__and->r_0047_0009__punished [conj2] r_0047_0007__Athens Athens r_0047_0009__punished->r_0047_0007__Athens [arg0] r_0047_0008__duly duly r_0047_0009__punished->r_0047_0008__duly [nim] r_0047_0010__the_r_0047_0011__islands the islands r_0047_0009__punished->r_0047_0010__the_r_0047_0011__islands [arg1] r_0047_0012__that_r_0047_0013__had that had r_0047_0014__turned turned r_0047_0012__that_r_0047_0013__had->r_0047_0014__turned [scope] r_0047_0014__turned->r_0047_0007__Athens against [clr] r_0047_0014__turned->r_0047_0010__the_r_0047_0011__islands [arg0] 
arc(r_0047_0003__were, r_0047_0004__defeated, scope).
arc(r_0047_0004__defeated, r_0047_0001__The_r_0047_0002__Persians, arg1).
arc(r_0047_0004__defeated, z_000_47_a_history_of_greece_12, arg0).
arc(r_0047_0006__and, r_0047_0003__were, conj1).
arc(r_0047_0006__and, r_0047_0009__punished, conj2).
arc(r_0047_0009__punished, r_0047_0007__Athens, arg0).
arc(r_0047_0009__punished, r_0047_0008__duly, nim25).
arc(r_0047_0009__punished, r_0047_0010__the_r_0047_0011__islands, arg1).
arc(r_0047_0012__that_r_0047_0013__had, r_0047_0014__turned, scope).
arc(r_0047_0014__turned, r_0047_0007__Athens, r_0047_0015__against_clr48).
arc(r_0047_0014__turned, r_0047_0010__the_r_0047_0011__islands, arg0).


%3 r_0047_0012__that_r_0047_0013__had_r_0047_0014__turned that had turned r_0047_0010__the_r_0047_0011__islands the islands r_0047_0012__that_r_0047_0013__had_r_0047_0014__turned->r_0047_0010__the_r_0047_0011__islands [arg0] r_0047_0007__Athens Athens r_0047_0012__that_r_0047_0013__had_r_0047_0014__turned->r_0047_0007__Athens against [clr] r_0047_0009__punished punished r_0047_0009__punished->r_0047_0010__the_r_0047_0011__islands [arg1] r_0047_0009__punished->r_0047_0007__Athens [arg0] r_0047_0008__duly duly r_0047_0009__punished->r_0047_0008__duly [nim] r_0047_0006__and and r_0047_0006__and->r_0047_0009__punished [conj2] r_0047_0003__were_r_0047_0004__defeated were defeated r_0047_0006__and->r_0047_0003__were_r_0047_0004__defeated [conj1] z_000_47_a_history_of_greece_12 r_0047_0003__were_r_0047_0004__defeated->z_000_47_a_history_of_greece_12 [arg0] r_0047_0001__The_r_0047_0002__Persians The Persians r_0047_0003__were_r_0047_0004__defeated->r_0047_0001__The_r_0047_0002__Persians [arg1] 
fof(formula,axiom,
    ? [R_47_6_AND,R_47_3_WERE_DEFEATED,Z_47_A_HISTORY_OF_GREECE_12,R_47_1_THE_PERSIANS,R_47_9_PUNISHED,R_47_8_DULY,R_47_12_THAT_HAD_TURNED,R_47_10_THE_ISLANDS,R_47_7_ATHENS] :
      ( the_Persians(R_47_1_THE_PERSIANS)
      & duly(R_47_8_DULY)
      & the_islands(R_47_10_THE_ISLANDS)
      & athens(R_47_7_ATHENS)
      & and(R_47_6_AND)
      & conj1(R_47_6_AND,R_47_3_WERE_DEFEATED)
      & were_defeated(R_47_3_WERE_DEFEATED,Z_47_A_HISTORY_OF_GREECE_12,R_47_1_THE_PERSIANS)
      & conj2(R_47_6_AND,R_47_9_PUNISHED)
      & punished(R_47_9_PUNISHED,R_47_7_ATHENS,R_47_10_THE_ISLANDS)
      & nim25(R_47_9_PUNISHED,R_47_8_DULY)
      & that_had_turned(R_47_12_THAT_HAD_TURNED,R_47_10_THE_ISLANDS)
      & against_clr48(R_47_12_THAT_HAD_TURNED,R_47_7_ATHENS) ) ).


n47_a_history_of_greece n47_a_history_of_greece__1_1_1_1_1_1 The n47_a_history_of_greece__1_1_1_1_2_1 Persians n47_a_history_of_greece__1_1_1_2_1 were n47_a_history_of_greece__1_1_1_3_1_1 * n47_a_history_of_greece__1_1_1_3_2_1 defeated n47_a_history_of_greece__1_1_2_1 , n47_a_history_of_greece__1_1_3_1_1 and n47_a_history_of_greece__1_1_3_2_1_1_1 Athens n47_a_history_of_greece__1_1_3_2_2_1_1 duly n47_a_history_of_greece__1_1_3_2_3_1 punished n47_a_history_of_greece__1_1_3_2_4_1_1 the n47_a_history_of_greece__1_1_3_2_4_2_1 islands n47_a_history_of_greece__1_1_3_2_4_3_1_1 that n47_a_history_of_greece__1_1_3_2_4_3_2_1 *T* n47_a_history_of_greece__1_1_3_2_4_3_3_1 had n47_a_history_of_greece__1_1_3_2_4_3_4_1_1 turned n47_a_history_of_greece__1_1_3_2_4_3_4_2_1_1 against n47_a_history_of_greece__1_1_3_2_4_3_4_2_2_1_1 it n47_a_history_of_greece__1_2_1 . n47_a_history_of_greece__1 IP-MAT n47_a_history_of_greece__1_1 ILYR n47_a_history_of_greece__1->n47_a_history_of_greece__1_1 n47_a_history_of_greece__1_2 PUNC n47_a_history_of_greece__1->n47_a_history_of_greece__1_2 n47_a_history_of_greece__1_1_1 ILYR n47_a_history_of_greece__1_1->n47_a_history_of_greece__1_1_1 n47_a_history_of_greece__1_1_2 PUNC n47_a_history_of_greece__1_1->n47_a_history_of_greece__1_1_2 n47_a_history_of_greece__1_1_3 CONJP n47_a_history_of_greece__1_1->n47_a_history_of_greece__1_1_3 n47_a_history_of_greece__1_1_1_1 NP-SBJ n47_a_history_of_greece__1_1_1->n47_a_history_of_greece__1_1_1_1 n47_a_history_of_greece__1_1_1_2 BED;_cat_VePASS_ n47_a_history_of_greece__1_1_1->n47_a_history_of_greece__1_1_1_2 n47_a_history_of_greece__1_1_1_3 IP-PPL-CAT n47_a_history_of_greece__1_1_1->n47_a_history_of_greece__1_1_1_3 n47_a_history_of_greece__1_1_1_1_1 D n47_a_history_of_greece__1_1_1_1->n47_a_history_of_greece__1_1_1_1_1 n47_a_history_of_greece__1_1_1_1_2 NPRS n47_a_history_of_greece__1_1_1_1->n47_a_history_of_greece__1_1_1_1_2 n47_a_history_of_greece__1_1_1_1_1->n47_a_history_of_greece__1_1_1_1_1_1 n47_a_history_of_greece__1_1_1_1_2->n47_a_history_of_greece__1_1_1_1_2_1 n47_a_history_of_greece__1_1_1_2->n47_a_history_of_greece__1_1_1_2_1 n47_a_history_of_greece__1_1_1_3_1 NP-LGS n47_a_history_of_greece__1_1_1_3->n47_a_history_of_greece__1_1_1_3_1 n47_a_history_of_greece__1_1_1_3_2 VVN;_Tn_ n47_a_history_of_greece__1_1_1_3->n47_a_history_of_greece__1_1_1_3_2 n47_a_history_of_greece__1_1_1_3_1->n47_a_history_of_greece__1_1_1_3_1_1 n47_a_history_of_greece__1_1_1_3_2->n47_a_history_of_greece__1_1_1_3_2_1 n47_a_history_of_greece__1_1_2->n47_a_history_of_greece__1_1_2_1 n47_a_history_of_greece__1_1_3_1 CONJ n47_a_history_of_greece__1_1_3->n47_a_history_of_greece__1_1_3_1 n47_a_history_of_greece__1_1_3_2 ILYR n47_a_history_of_greece__1_1_3->n47_a_history_of_greece__1_1_3_2 n47_a_history_of_greece__1_1_3_1->n47_a_history_of_greece__1_1_3_1_1 n47_a_history_of_greece__1_1_3_2_1 NP-SBJ n47_a_history_of_greece__1_1_3_2->n47_a_history_of_greece__1_1_3_2_1 n47_a_history_of_greece__1_1_3_2_2 ADVP-NIM n47_a_history_of_greece__1_1_3_2->n47_a_history_of_greece__1_1_3_2_2 n47_a_history_of_greece__1_1_3_2_3 VBD;_Tn_ n47_a_history_of_greece__1_1_3_2->n47_a_history_of_greece__1_1_3_2_3 n47_a_history_of_greece__1_1_3_2_4 NP-OB1 n47_a_history_of_greece__1_1_3_2->n47_a_history_of_greece__1_1_3_2_4 n47_a_history_of_greece__1_1_3_2_1_1 NPR n47_a_history_of_greece__1_1_3_2_1->n47_a_history_of_greece__1_1_3_2_1_1 n47_a_history_of_greece__1_1_3_2_1_1->n47_a_history_of_greece__1_1_3_2_1_1_1 n47_a_history_of_greece__1_1_3_2_2_1 ADV n47_a_history_of_greece__1_1_3_2_2->n47_a_history_of_greece__1_1_3_2_2_1 n47_a_history_of_greece__1_1_3_2_2_1->n47_a_history_of_greece__1_1_3_2_2_1_1 n47_a_history_of_greece__1_1_3_2_3->n47_a_history_of_greece__1_1_3_2_3_1 n47_a_history_of_greece__1_1_3_2_4_1 D n47_a_history_of_greece__1_1_3_2_4->n47_a_history_of_greece__1_1_3_2_4_1 n47_a_history_of_greece__1_1_3_2_4_2 NS n47_a_history_of_greece__1_1_3_2_4->n47_a_history_of_greece__1_1_3_2_4_2 n47_a_history_of_greece__1_1_3_2_4_3 IP-REL n47_a_history_of_greece__1_1_3_2_4->n47_a_history_of_greece__1_1_3_2_4_3 n47_a_history_of_greece__1_1_3_2_4_1->n47_a_history_of_greece__1_1_3_2_4_1_1 n47_a_history_of_greece__1_1_3_2_4_2->n47_a_history_of_greece__1_1_3_2_4_2_1 n47_a_history_of_greece__1_1_3_2_4_3_1 C n47_a_history_of_greece__1_1_3_2_4_3->n47_a_history_of_greece__1_1_3_2_4_3_1 n47_a_history_of_greece__1_1_3_2_4_3_2 NP-SBJ n47_a_history_of_greece__1_1_3_2_4_3->n47_a_history_of_greece__1_1_3_2_4_3_2 n47_a_history_of_greece__1_1_3_2_4_3_3 HVD;_cat_Ve_ n47_a_history_of_greece__1_1_3_2_4_3->n47_a_history_of_greece__1_1_3_2_4_3_3 n47_a_history_of_greece__1_1_3_2_4_3_4 IP-PPL-CAT n47_a_history_of_greece__1_1_3_2_4_3->n47_a_history_of_greece__1_1_3_2_4_3_4 n47_a_history_of_greece__1_1_3_2_4_3_1->n47_a_history_of_greece__1_1_3_2_4_3_1_1 n47_a_history_of_greece__1_1_3_2_4_3_2->n47_a_history_of_greece__1_1_3_2_4_3_2_1 n47_a_history_of_greece__1_1_3_2_4_3_3->n47_a_history_of_greece__1_1_3_2_4_3_3_1 n47_a_history_of_greece__1_1_3_2_4_3_4_1 VVN;_Ipr_ n47_a_history_of_greece__1_1_3_2_4_3_4->n47_a_history_of_greece__1_1_3_2_4_3_4_1 n47_a_history_of_greece__1_1_3_2_4_3_4_2 PP-CLR n47_a_history_of_greece__1_1_3_2_4_3_4->n47_a_history_of_greece__1_1_3_2_4_3_4_2 n47_a_history_of_greece__1_1_3_2_4_3_4_1->n47_a_history_of_greece__1_1_3_2_4_3_4_1_1 n47_a_history_of_greece__1_1_3_2_4_3_4_2_1 P-ROLE n47_a_history_of_greece__1_1_3_2_4_3_4_2->n47_a_history_of_greece__1_1_3_2_4_3_4_2_1 n47_a_history_of_greece__1_1_3_2_4_3_4_2_2 NP n47_a_history_of_greece__1_1_3_2_4_3_4_2->n47_a_history_of_greece__1_1_3_2_4_3_4_2_2 n47_a_history_of_greece__1_1_3_2_4_3_4_2_1->n47_a_history_of_greece__1_1_3_2_4_3_4_2_1_1 n47_a_history_of_greece__1_1_3_2_4_3_4_2_2_1 PRO n47_a_history_of_greece__1_1_3_2_4_3_4_2_2->n47_a_history_of_greece__1_1_3_2_4_3_4_2_2_1 n47_a_history_of_greece__1_1_3_2_4_3_4_2_2_1->n47_a_history_of_greece__1_1_3_2_4_3_4_2_2_1_1 n47_a_history_of_greece__1_2->n47_a_history_of_greece__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{PERSIANS} (D The;{the})
                                         (NPRS Persians;{Persians}))
                      (BED;_cat_VePASS_ were;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ defeated;{defeat})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{ATHENS} (NPR Athens;{Athens}))
                             (ADVP-NIM (ADV duly;{duly}))
                             (VBD;_Tn_ punished;{punish})
                             (NP-OB1 (D the;{the})
                                     (NS islands;{island})
                                     (IP-REL (C that;{that})
                                             (NP-SBJ *T*)
                                             (HVD;_cat_Ve_ had;{have})
                                             (IP-PPL-CAT (VVN;_Ipr_ turned;{turn[against]})
                                                         (PP-CLR (P-ROLE against;{against})
                                                                 (NP;{ATHENS} (PRO it;{it})))))))))
          (PUNC .))
  (ID 47_a_history_of_greece))