45_a_history_of_greece
Paros and Andros contributed to the Persian armory, while others supported Athens.

%3 r_0045_0002__and and r_0045_0001__Paros Paros r_0045_0002__and->r_0045_0001__Paros [conj1] r_0045_0003__Andros Andros r_0045_0002__and->r_0045_0003__Andros [conj2] r_0045_0004__contributed contributed r_0045_0004__contributed->r_0045_0002__and [arg0] r_0045_0006__the_r_0045_0008__armory the armory r_0045_0004__contributed->r_0045_0006__the_r_0045_0008__armory to [clr] r_0045_0007__Persian Persian r_0045_0006__the_r_0045_0008__armory->r_0045_0007__Persian [attrib] r_0045_0010__while while r_0045_0010__while->r_0045_0004__contributed [scope] r_0045_0012__supported supported r_0045_0010__while->r_0045_0012__supported [restriction] r_0045_0011__others others r_0045_0012__supported->r_0045_0011__others [arg0] r_0045_0013__Athens Athens r_0045_0012__supported->r_0045_0013__Athens [arg1]
arc(r_0045_0002__and, r_0045_0001__Paros, conj1).
arc(r_0045_0002__and, r_0045_0003__Andros, conj2).
arc(r_0045_0004__contributed, r_0045_0002__and, arg0).
arc(r_0045_0004__contributed, r_0045_0006__the_r_0045_0008__armory, r_0045_0005__to_clr18).
arc(r_0045_0006__the_r_0045_0008__armory, r_0045_0007__Persian, attrib21).
arc(r_0045_0010__while, r_0045_0004__contributed, scope).
arc(r_0045_0010__while, r_0045_0012__supported, restriction).
arc(r_0045_0012__supported, r_0045_0011__others, arg0).
arc(r_0045_0012__supported, r_0045_0013__Athens, arg1).



%3 r_0045_0012__supported supported r_0045_0013__Athens Athens r_0045_0012__supported->r_0045_0013__Athens [arg1] r_0045_0011__others others r_0045_0012__supported->r_0045_0011__others [arg0] r_0045_0010__while while r_0045_0010__while->r_0045_0012__supported [conj1] r_0045_0004__contributed contributed r_0045_0010__while->r_0045_0004__contributed [conj2] r_0045_0006__the_r_0045_0008__armory the armory r_0045_0004__contributed->r_0045_0006__the_r_0045_0008__armory to [clr] r_0045_0002__and and r_0045_0004__contributed->r_0045_0002__and [arg0] r_0045_0007__Persian Persian r_0045_0006__the_r_0045_0008__armory->r_0045_0007__Persian [attrib] r_0045_0003__Andros Andros r_0045_0002__and->r_0045_0003__Andros [conj2] r_0045_0001__Paros Paros r_0045_0002__and->r_0045_0001__Paros [conj1]
fof(formula,axiom,
    ? [R_45_10_WHILE,R_45_12_SUPPORTED,R_45_11_OTHERS,R_45_13_ATHENS,R_45_4_CONTRIBUTED,R_45_2_AND,R_45_1_PAROS,R_45_3_ANDROS,R_45_6_THE_ARMORY,R_45_7_PERSIAN] :
      ( others(R_45_11_OTHERS)
      & athens(R_45_13_ATHENS)
      & paros(R_45_1_PAROS)
      & andros(R_45_3_ANDROS)
      & persian(R_45_7_PERSIAN)
      & while(R_45_10_WHILE)
      & conj1(R_45_10_WHILE,R_45_12_SUPPORTED)
      & supported(R_45_12_SUPPORTED,R_45_11_OTHERS,R_45_13_ATHENS)
      & conj2(R_45_10_WHILE,R_45_4_CONTRIBUTED)
      & contributed(R_45_4_CONTRIBUTED,R_45_2_AND)
      & and(R_45_2_AND)
      & conj1(R_45_2_AND,R_45_1_PAROS)
      & conj2(R_45_2_AND,R_45_3_ANDROS)
      & to_clr18(R_45_4_CONTRIBUTED,R_45_6_THE_ARMORY)
      & the_armory(R_45_6_THE_ARMORY)
      & attrib21(R_45_6_THE_ARMORY,R_45_7_PERSIAN) ) ).



n45_a_history_of_greece n45_a_history_of_greece__1_1_1_1_1_1 Paros n45_a_history_of_greece__1_1_1_2_1_1 and n45_a_history_of_greece__1_1_1_2_2_1_1 Andros n45_a_history_of_greece__1_2_1 contributed n45_a_history_of_greece__1_3_1_1 to n45_a_history_of_greece__1_3_2_1_1 the n45_a_history_of_greece__1_3_2_2_1_1 Persian n45_a_history_of_greece__1_3_2_3_1 armory n45_a_history_of_greece__1_4_1 , n45_a_history_of_greece__1_5_1_1 while n45_a_history_of_greece__1_5_2_1_1_1 others n45_a_history_of_greece__1_5_2_2_1 supported n45_a_history_of_greece__1_5_2_3_1_1 Athens n45_a_history_of_greece__1_6_1 . n45_a_history_of_greece__1 IP-MAT n45_a_history_of_greece__1_1 NP-SBJ n45_a_history_of_greece__1->n45_a_history_of_greece__1_1 n45_a_history_of_greece__1_2 VBD;_Ipr_ n45_a_history_of_greece__1->n45_a_history_of_greece__1_2 n45_a_history_of_greece__1_3 PP-CLR n45_a_history_of_greece__1->n45_a_history_of_greece__1_3 n45_a_history_of_greece__1_4 PUNC n45_a_history_of_greece__1->n45_a_history_of_greece__1_4 n45_a_history_of_greece__1_5 PP-SCON n45_a_history_of_greece__1->n45_a_history_of_greece__1_5 n45_a_history_of_greece__1_6 PUNC n45_a_history_of_greece__1->n45_a_history_of_greece__1_6 n45_a_history_of_greece__1_1_1 NLYR n45_a_history_of_greece__1_1->n45_a_history_of_greece__1_1_1 n45_a_history_of_greece__1_1_1_1 NLYR n45_a_history_of_greece__1_1_1->n45_a_history_of_greece__1_1_1_1 n45_a_history_of_greece__1_1_1_2 CONJP n45_a_history_of_greece__1_1_1->n45_a_history_of_greece__1_1_1_2 n45_a_history_of_greece__1_1_1_1_1 NPR n45_a_history_of_greece__1_1_1_1->n45_a_history_of_greece__1_1_1_1_1 n45_a_history_of_greece__1_1_1_1_1->n45_a_history_of_greece__1_1_1_1_1_1 n45_a_history_of_greece__1_1_1_2_1 CONJ n45_a_history_of_greece__1_1_1_2->n45_a_history_of_greece__1_1_1_2_1 n45_a_history_of_greece__1_1_1_2_2 NLYR n45_a_history_of_greece__1_1_1_2->n45_a_history_of_greece__1_1_1_2_2 n45_a_history_of_greece__1_1_1_2_1->n45_a_history_of_greece__1_1_1_2_1_1 n45_a_history_of_greece__1_1_1_2_2_1 NPR n45_a_history_of_greece__1_1_1_2_2->n45_a_history_of_greece__1_1_1_2_2_1 n45_a_history_of_greece__1_1_1_2_2_1->n45_a_history_of_greece__1_1_1_2_2_1_1 n45_a_history_of_greece__1_2->n45_a_history_of_greece__1_2_1 n45_a_history_of_greece__1_3_1 P-ROLE n45_a_history_of_greece__1_3->n45_a_history_of_greece__1_3_1 n45_a_history_of_greece__1_3_2 NP n45_a_history_of_greece__1_3->n45_a_history_of_greece__1_3_2 n45_a_history_of_greece__1_3_1->n45_a_history_of_greece__1_3_1_1 n45_a_history_of_greece__1_3_2_1 D n45_a_history_of_greece__1_3_2->n45_a_history_of_greece__1_3_2_1 n45_a_history_of_greece__1_3_2_2 ADJP n45_a_history_of_greece__1_3_2->n45_a_history_of_greece__1_3_2_2 n45_a_history_of_greece__1_3_2_3 N n45_a_history_of_greece__1_3_2->n45_a_history_of_greece__1_3_2_3 n45_a_history_of_greece__1_3_2_1->n45_a_history_of_greece__1_3_2_1_1 n45_a_history_of_greece__1_3_2_2_1 ADJ n45_a_history_of_greece__1_3_2_2->n45_a_history_of_greece__1_3_2_2_1 n45_a_history_of_greece__1_3_2_2_1->n45_a_history_of_greece__1_3_2_2_1_1 n45_a_history_of_greece__1_3_2_3->n45_a_history_of_greece__1_3_2_3_1 n45_a_history_of_greece__1_4->n45_a_history_of_greece__1_4_1 n45_a_history_of_greece__1_5_1 P-CONN n45_a_history_of_greece__1_5->n45_a_history_of_greece__1_5_1 n45_a_history_of_greece__1_5_2 IP-ADV n45_a_history_of_greece__1_5->n45_a_history_of_greece__1_5_2 n45_a_history_of_greece__1_5_1->n45_a_history_of_greece__1_5_1_1 n45_a_history_of_greece__1_5_2_1 NP-SBJ n45_a_history_of_greece__1_5_2->n45_a_history_of_greece__1_5_2_1 n45_a_history_of_greece__1_5_2_2 VBD;_Tn_ n45_a_history_of_greece__1_5_2->n45_a_history_of_greece__1_5_2_2 n45_a_history_of_greece__1_5_2_3 NP-OB1 n45_a_history_of_greece__1_5_2->n45_a_history_of_greece__1_5_2_3 n45_a_history_of_greece__1_5_2_1_1 NS n45_a_history_of_greece__1_5_2_1->n45_a_history_of_greece__1_5_2_1_1 n45_a_history_of_greece__1_5_2_1_1->n45_a_history_of_greece__1_5_2_1_1_1 n45_a_history_of_greece__1_5_2_2->n45_a_history_of_greece__1_5_2_2_1 n45_a_history_of_greece__1_5_2_3_1 NPR n45_a_history_of_greece__1_5_2_3->n45_a_history_of_greece__1_5_2_3_1 n45_a_history_of_greece__1_5_2_3_1->n45_a_history_of_greece__1_5_2_3_1_1 n45_a_history_of_greece__1_6->n45_a_history_of_greece__1_6_1
( (IP-MAT (NP-SBJ (NLYR (NLYR (NPR Paros;{Paros}))
                        (CONJP (CONJ and;{and})
                               (NLYR (NPR Andros;{Andros})))))
          (VBD;_Ipr_ contributed;{contribute[to]})
          (PP-CLR (P-ROLE to;{to})
                  (NP (D the;{the})
                      (ADJP (ADJ Persian;{persian}))
                      (N armory;{armory})))
          (PUNC ,)
          (PP-SCON (P-CONN while;{while})
                   (IP-ADV (NP-SBJ (NS others;{other}))
                           (VBD;_Tn_ supported;{support})
                           (NP-OB1 (NPR Athens;{Athens}))))
          (PUNC .))
  (ID 45_a_history_of_greece))