50_a_history_of_greece
The alliance became known as 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))
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,r_0050_0005__as__prd).
arc(r_0050_0004__known,z_0050_5003___star_,arg0).
fof(formula,axiom,
? [R_0050_0001__THE_R_0050_0002__ALLIANCE,R_0050_0006__THE_R_0050_0007__DELIAN_R_0050_0008__LEAGUE,Z_0050_5003___STAR_,R_0050_0003__BECAME_R_0050_0004__KNOWN] :
( r_0050_0001__The_r_0050_0002__alliance(R_0050_0001__THE_R_0050_0002__ALLIANCE)
& r_0050_0006__the_r_0050_0007__Delian_r_0050_0008__League(R_0050_0006__THE_R_0050_0007__DELIAN_R_0050_0008__LEAGUE)
& z_0050_5003___star_(Z_0050_5003___STAR_)
& r_0050_0003__became_r_0050_0004__known(R_0050_0003__BECAME_R_0050_0004__KNOWN)
& has_arg0(R_0050_0003__BECAME_R_0050_0004__KNOWN,Z_0050_5003___STAR_)
& has_r_0050_0005__as__prd(R_0050_0003__BECAME_R_0050_0004__KNOWN,R_0050_0006__THE_R_0050_0007__DELIAN_R_0050_0008__LEAGUE)
& has_arg1(R_0050_0003__BECAME_R_0050_0004__KNOWN,R_0050_0001__THE_R_0050_0002__ALLIANCE) ) ).