50_a_history_of_greece
The alliance became known as the Delian League.
arc(r_0050_0003__became, r_0050_0004__known, scope).
arc(r_0050_0004__known, r_0050_0001__The_r_0050_0002__alliance, arg1).
arc(r_0050_0004__known, r_0050_0006__the_r_0050_0007__Delian_r_0050_0008__League, prd).
arc(r_0050_0004__known, z_000_50_a_history_of_greece_10, arg0).
fof(formula,axiom,
? [R_50_3_BECAME_KNOWN,Z_50_A_HISTORY_OF_GREECE_10,R_50_1_THE_ALLIANCE,R_50_6_THE_DELIAN_LEAGUE] :
( the_alliance(R_50_1_THE_ALLIANCE)
& the_Delian_League(R_50_6_THE_DELIAN_LEAGUE)
& became_known(R_50_3_BECAME_KNOWN,Z_50_A_HISTORY_OF_GREECE_10,R_50_1_THE_ALLIANCE,R_50_6_THE_DELIAN_LEAGUE) ) ).
( (IP-MAT (NP-SBJ;{ALLIANCE} (D The;{the})
(N alliance;{alliance}))
(VBD;_cat_VePASS_ became;{become})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Cn.n/a_ known;{know[as]})
(PP-PRD (P-ROLE as;{as})
(NP (D the;{the})
(NPR Delian;{Delian})
(NPR League;{League}))))
(PUNC .))
(ID 50_a_history_of_greece))