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.
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, z_000_99_a_factbook_2_2010_12, arg0).
fof(formula,axiom,
? [R_0099_0001__THE_R_0099_0002__UNITED_R_0099_0003__STATES,Z_000_99_A_FACTBOOK_2_2010_12,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)
& z_000_99_a_factbook_2_2010_12(Z_000_99_A_FACTBOOK_2_2010_12)
& 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_000_99_A_FACTBOOK_2_2010_12)
& has_arg1(R_0099_0004__WAS_R_0099_0005__FOUNDED,R_0099_0001__THE_R_0099_0002__UNITED_R_0099_0003__STATES) ) ).
( (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 ,)
(IP-PPL (NP-PRD (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))