Context                Previous, Next                Top


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

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))


%3 r_0047_0014__turned_r_0047_0015__against turned against r_0047_0010__the_r_0047_0011__islands the islands r_0047_0014__turned_r_0047_0015__against->r_0047_0010__the_r_0047_0011__islands [inv_arg0] r_0047_0007__Athens Athens r_0047_0014__turned_r_0047_0015__against->r_0047_0007__Athens [arg1] r_0047_0013__had had r_0047_0013__had->r_0047_0014__turned_r_0047_0015__against [scope] 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 were r_0047_0006__and->r_0047_0003__were [conj1] r_0047_0004__defeated defeated r_0047_0003__were->r_0047_0004__defeated [scope] z_0047_5002___star_ * r_0047_0004__defeated->z_0047_5002___star_ [arg0] r_0047_0001__The_r_0047_0002__Persians The Persians r_0047_0004__defeated->r_0047_0001__The_r_0047_0002__Persians [arg1] 
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_0047_5002___star_,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,nim).
arc(r_0047_0009__punished,r_0047_0010__the_r_0047_0011__islands,arg1).
arc(r_0047_0013__had,r_0047_0014__turned_r_0047_0015__against,scope).
arc(r_0047_0014__turned_r_0047_0015__against,r_0047_0007__Athens,arg1).
arc(r_0047_0014__turned_r_0047_0015__against,r_0047_0010__the_r_0047_0011__islands,inv_arg0).


%3 r_0047_0003__were_r_0047_0004__defeated were defeated 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] z_0047_5002___star_ * r_0047_0003__were_r_0047_0004__defeated->z_0047_5002___star_ [arg0] r_0047_0006__and and r_0047_0006__and->r_0047_0003__were_r_0047_0004__defeated [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_0013__had_r_0047_0014__turned_r_0047_0015__against had turned against r_0047_0010__the_r_0047_0011__islands->r_0047_0013__had_r_0047_0014__turned_r_0047_0015__against [inv_arg0] r_0047_0013__had_r_0047_0014__turned_r_0047_0015__against->r_0047_0007__Athens [arg1] 
fof(formula,axiom,
    ? [R_0047_0001__THE_R_0047_0002__PERSIANS,Z_0047_5002___STAR_,R_0047_0003__WERE_R_0047_0004__DEFEATED,R_0047_0007__ATHENS,R_0047_0008__DULY,R_0047_0013__HAD_R_0047_0014__TURNED_R_0047_0015__AGAINST,R_0047_0010__THE_R_0047_0011__ISLANDS,R_0047_0009__PUNISHED,R_0047_0006__AND] :
      ( r_0047_0001__The_r_0047_0002__Persians(R_0047_0001__THE_R_0047_0002__PERSIANS)
      & r_0047_0007__Athens(R_0047_0007__ATHENS)
      & r_0047_0008__duly(R_0047_0008__DULY)
      & z_0047_5002___star_(Z_0047_5002___STAR_)
      & r_0047_0006__and(R_0047_0006__AND)
      & has_conj2(R_0047_0006__AND,R_0047_0009__PUNISHED)
      & r_0047_0009__punished(R_0047_0009__PUNISHED)
      & has_arg1(R_0047_0009__PUNISHED,R_0047_0010__THE_R_0047_0011__ISLANDS)
      & r_0047_0010__the_r_0047_0011__islands(R_0047_0010__THE_R_0047_0011__ISLANDS)
      & has_inv_arg0(R_0047_0010__THE_R_0047_0011__ISLANDS,R_0047_0013__HAD_R_0047_0014__TURNED_R_0047_0015__AGAINST)
      & r_0047_0013__had_r_0047_0014__turned_r_0047_0015__against(R_0047_0013__HAD_R_0047_0014__TURNED_R_0047_0015__AGAINST)
      & has_arg1(R_0047_0013__HAD_R_0047_0014__TURNED_R_0047_0015__AGAINST,R_0047_0007__ATHENS)
      & has_nim(R_0047_0009__PUNISHED,R_0047_0008__DULY)
      & has_arg0(R_0047_0009__PUNISHED,R_0047_0007__ATHENS)
      & has_conj1(R_0047_0006__AND,R_0047_0003__WERE_R_0047_0004__DEFEATED)
      & r_0047_0003__were_r_0047_0004__defeated(R_0047_0003__WERE_R_0047_0004__DEFEATED)
      & has_arg0(R_0047_0003__WERE_R_0047_0004__DEFEATED,Z_0047_5002___STAR_)
      & has_arg1(R_0047_0003__WERE_R_0047_0004__DEFEATED,R_0047_0001__THE_R_0047_0002__PERSIANS) ) ).