99_a_factbook_2_2010
The United States was founded not as one nation but as a union of 13 colonies, each claiming independence from the British Crown.
( (IP-MAT (NP-SBJ (D The;{the})
(NPR United;{United})
(NPRS States;{States}))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ founded;{found})
(PP-NIM (PP-NIM (NEG not;{not})
(P-ROLE as;{as})
(NP (NUM one;{one})
(N nation;{nation})))
(CONJP (CONJ but;{but})
(PP-NIM (P-ROLE as;{as})
(NP (D a;{a})
(N union;{union})
(PP (P-ROLE of;{of})
(NP (NUM 13)
(NS colonies;{colony})
(PUNC ,)
(PRN (NP (Q;_nphd_ each;{each})
(IP-PPL (VAG;__ claiming;{claim})
(NP-OB1 (N independence;{independence})
(PP (P-ROLE from;{from})
(NP (D the;{the})
(NPR British;{British})
(NPR Crown;{Crown}))))))))))))))
(PUNC .))
(ID 99_a_factbook_2_2010))
arc(r_0099_0004__was,r_0099_0005__founded,scope).
arc(r_0099_0005__founded,r_0099_0001__The_r_0099_0002__United_r_0099_0003__States,arg1).
arc(r_0099_0005__founded,r_0099_0010__but,nim).
arc(r_0099_0005__founded,z_0099_5013___star_,arg0).
arc(r_0099_0010__but,r_0099_0008__one_r_0099_0009__nation,r_0099_0006__not_r_0099_0007__as__nim).
arc(r_0099_0010__but,r_0099_0012__a_r_0099_0013__union,r_0099_0011__as__nim).
arc(r_0099_0012__a_r_0099_0013__union,r_0099_0015__13_r_0099_0016__colonies,r_0099_0014__of).
arc(r_0099_0018__each__quant,z_0099_5007,restriction).
arc(r_0099_0018__each__quant,z_0099_5008,scope).
arc(r_0099_0019__claiming,r_0099_0020__independence,arg1).
arc(r_0099_0019__claiming,z_0099_5007,inv_arg0).
arc(r_0099_0020__independence,r_0099_0022__the_r_0099_0023__British_r_0099_0024__Crown,r_0099_0021__from).
arc(z_0099_5008,r_0099_0015__13_r_0099_0016__colonies,arg0).
arc(z_0099_5008,z_0099_5007,prd).
fof(formula,axiom,
? [R_0099_0001__THE_R_0099_0002__UNITED_R_0099_0003__STATES,R_0099_0008__ONE_R_0099_0009__NATION,R_0099_0015__13_R_0099_0016__COLONIES,R_0099_0012__A_R_0099_0013__UNION,R_0099_0010__BUT,Z_0099_5013___STAR_,R_0099_0004__WAS_R_0099_0005__FOUNDED] :
( r_0099_0001__The_r_0099_0002__United_r_0099_0003__States(R_0099_0001__THE_R_0099_0002__UNITED_R_0099_0003__STATES)
& r_0099_0008__one_r_0099_0009__nation(R_0099_0008__ONE_R_0099_0009__NATION)
& r_0099_0015__13_r_0099_0016__colonies(R_0099_0015__13_R_0099_0016__COLONIES)
& z_0099_5013___star_(Z_0099_5013___STAR_)
& ! [Z_0099_5007,R_0099_0022__THE_R_0099_0023__BRITISH_R_0099_0024__CROWN,R_0099_0020__INDEPENDENCE,R_0099_0019__CLAIMING] :
( ( r_0099_0022__the_r_0099_0023__British_r_0099_0024__Crown(R_0099_0022__THE_R_0099_0023__BRITISH_R_0099_0024__CROWN)
& z_0099_5007(Z_0099_5007)
& has_inv_arg0(Z_0099_5007,R_0099_0019__CLAIMING)
& r_0099_0019__claiming(R_0099_0019__CLAIMING)
& has_arg1(R_0099_0019__CLAIMING,R_0099_0020__INDEPENDENCE)
& r_0099_0020__independence(R_0099_0020__INDEPENDENCE)
& has_r_0099_0021__from(R_0099_0020__INDEPENDENCE,R_0099_0022__THE_R_0099_0023__BRITISH_R_0099_0024__CROWN) )
=> ? [Z_0099_5008] :
( z_0099_5008(Z_0099_5008)
& has_prd(Z_0099_5008,Z_0099_5007)
& has_arg0(Z_0099_5008,R_0099_0015__13_R_0099_0016__COLONIES) ) )
& r_0099_0004__was_r_0099_0005__founded(R_0099_0004__WAS_R_0099_0005__FOUNDED)
& has_arg0(R_0099_0004__WAS_R_0099_0005__FOUNDED,Z_0099_5013___STAR_)
& has_nim(R_0099_0004__WAS_R_0099_0005__FOUNDED,R_0099_0010__BUT)
& r_0099_0010__but(R_0099_0010__BUT)
& has_r_0099_0011__as__nim(R_0099_0010__BUT,R_0099_0012__A_R_0099_0013__UNION)
& r_0099_0012__a_r_0099_0013__union(R_0099_0012__A_R_0099_0013__UNION)
& has_r_0099_0014__of(R_0099_0012__A_R_0099_0013__UNION,R_0099_0015__13_R_0099_0016__COLONIES)
& has_r_0099_0006__not_r_0099_0007__as__nim(R_0099_0010__BUT,R_0099_0008__ONE_R_0099_0009__NATION)
& has_arg1(R_0099_0004__WAS_R_0099_0005__FOUNDED,R_0099_0001__THE_R_0099_0002__UNITED_R_0099_0003__STATES) ) ).