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.

%3 r_0099_0004__was was r_0099_0005__founded founded r_0099_0004__was->r_0099_0005__founded [scope] r_0099_0001__The_r_0099_0002__United_r_0099_0003__States The United States r_0099_0005__founded->r_0099_0001__The_r_0099_0002__United_r_0099_0003__States [arg1] z_000_99_a_factbook_2_2010_12 r_0099_0005__founded->z_000_99_a_factbook_2_2010_12 [arg0]
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).



%3 r_0099_0004__was_r_0099_0005__founded was founded r_0099_0001__The_r_0099_0002__United_r_0099_0003__States The United States r_0099_0004__was_r_0099_0005__founded->r_0099_0001__The_r_0099_0002__United_r_0099_0003__States [arg1] z_000_99_a_factbook_2_2010_12 r_0099_0004__was_r_0099_0005__founded->z_000_99_a_factbook_2_2010_12 [arg0]
fof(formula,axiom,
    ? [R_99_4_WAS_FOUNDED,Z_99_A_FACTBOOK_2_2010_12,R_99_1_THE_UNITED_STATES] :
      ( the_United_States(R_99_1_THE_UNITED_STATES)
      & was_founded(R_99_4_WAS_FOUNDED,Z_99_A_FACTBOOK_2_2010_12,R_99_1_THE_UNITED_STATES) ) ).



n99_a_factbook_2_2010 n99_a_factbook_2_2010_4 The n99_a_factbook_2_2010_6 United n99_a_factbook_2_2010_8 States n99_a_factbook_2_2010_10 was n99_a_factbook_2_2010_13 * n99_a_factbook_2_2010_15 founded n99_a_factbook_2_2010_19 not n99_a_factbook_2_2010_21 as n99_a_factbook_2_2010_24 one n99_a_factbook_2_2010_26 nation n99_a_factbook_2_2010_29 but n99_a_factbook_2_2010_32 as n99_a_factbook_2_2010_35 a n99_a_factbook_2_2010_37 union n99_a_factbook_2_2010_40 of n99_a_factbook_2_2010_43 13 n99_a_factbook_2_2010_45 colonies n99_a_factbook_2_2010_47 , n99_a_factbook_2_2010_51 each n99_a_factbook_2_2010_54 claiming n99_a_factbook_2_2010_57 independence n99_a_factbook_2_2010_60 from n99_a_factbook_2_2010_63 the n99_a_factbook_2_2010_65 British n99_a_factbook_2_2010_67 Crown n99_a_factbook_2_2010_69 . n99_a_factbook_2_2010_1 IP-MAT n99_a_factbook_2_2010_2 NP-SBJ n99_a_factbook_2_2010_1->n99_a_factbook_2_2010_2 n99_a_factbook_2_2010_9 BED;_cat_VePASS_ n99_a_factbook_2_2010_1->n99_a_factbook_2_2010_9 n99_a_factbook_2_2010_11 IP-PPL-CAT n99_a_factbook_2_2010_1->n99_a_factbook_2_2010_11 n99_a_factbook_2_2010_68 PUNC n99_a_factbook_2_2010_1->n99_a_factbook_2_2010_68 n99_a_factbook_2_2010_3 D n99_a_factbook_2_2010_2->n99_a_factbook_2_2010_3 n99_a_factbook_2_2010_5 NPR n99_a_factbook_2_2010_2->n99_a_factbook_2_2010_5 n99_a_factbook_2_2010_7 NPRS n99_a_factbook_2_2010_2->n99_a_factbook_2_2010_7 n99_a_factbook_2_2010_3->n99_a_factbook_2_2010_4 n99_a_factbook_2_2010_5->n99_a_factbook_2_2010_6 n99_a_factbook_2_2010_7->n99_a_factbook_2_2010_8 n99_a_factbook_2_2010_9->n99_a_factbook_2_2010_10 n99_a_factbook_2_2010_12 NP-LGS n99_a_factbook_2_2010_11->n99_a_factbook_2_2010_12 n99_a_factbook_2_2010_14 VVN;_Tn_ n99_a_factbook_2_2010_11->n99_a_factbook_2_2010_14 n99_a_factbook_2_2010_16 PP-NIM n99_a_factbook_2_2010_11->n99_a_factbook_2_2010_16 n99_a_factbook_2_2010_12->n99_a_factbook_2_2010_13 n99_a_factbook_2_2010_14->n99_a_factbook_2_2010_15 n99_a_factbook_2_2010_17 PP-NIM n99_a_factbook_2_2010_16->n99_a_factbook_2_2010_17 n99_a_factbook_2_2010_27 CONJP n99_a_factbook_2_2010_16->n99_a_factbook_2_2010_27 n99_a_factbook_2_2010_18 NEG n99_a_factbook_2_2010_17->n99_a_factbook_2_2010_18 n99_a_factbook_2_2010_20 P-ROLE n99_a_factbook_2_2010_17->n99_a_factbook_2_2010_20 n99_a_factbook_2_2010_22 NP n99_a_factbook_2_2010_17->n99_a_factbook_2_2010_22 n99_a_factbook_2_2010_18->n99_a_factbook_2_2010_19 n99_a_factbook_2_2010_20->n99_a_factbook_2_2010_21 n99_a_factbook_2_2010_23 NUM n99_a_factbook_2_2010_22->n99_a_factbook_2_2010_23 n99_a_factbook_2_2010_25 N n99_a_factbook_2_2010_22->n99_a_factbook_2_2010_25 n99_a_factbook_2_2010_23->n99_a_factbook_2_2010_24 n99_a_factbook_2_2010_25->n99_a_factbook_2_2010_26 n99_a_factbook_2_2010_28 CONJ n99_a_factbook_2_2010_27->n99_a_factbook_2_2010_28 n99_a_factbook_2_2010_30 PP-NIM n99_a_factbook_2_2010_27->n99_a_factbook_2_2010_30 n99_a_factbook_2_2010_28->n99_a_factbook_2_2010_29 n99_a_factbook_2_2010_31 P-ROLE n99_a_factbook_2_2010_30->n99_a_factbook_2_2010_31 n99_a_factbook_2_2010_33 NP n99_a_factbook_2_2010_30->n99_a_factbook_2_2010_33 n99_a_factbook_2_2010_31->n99_a_factbook_2_2010_32 n99_a_factbook_2_2010_34 D n99_a_factbook_2_2010_33->n99_a_factbook_2_2010_34 n99_a_factbook_2_2010_36 N n99_a_factbook_2_2010_33->n99_a_factbook_2_2010_36 n99_a_factbook_2_2010_38 PP n99_a_factbook_2_2010_33->n99_a_factbook_2_2010_38 n99_a_factbook_2_2010_34->n99_a_factbook_2_2010_35 n99_a_factbook_2_2010_36->n99_a_factbook_2_2010_37 n99_a_factbook_2_2010_39 P-ROLE n99_a_factbook_2_2010_38->n99_a_factbook_2_2010_39 n99_a_factbook_2_2010_41 NP n99_a_factbook_2_2010_38->n99_a_factbook_2_2010_41 n99_a_factbook_2_2010_39->n99_a_factbook_2_2010_40 n99_a_factbook_2_2010_42 NUM n99_a_factbook_2_2010_41->n99_a_factbook_2_2010_42 n99_a_factbook_2_2010_44 NS n99_a_factbook_2_2010_41->n99_a_factbook_2_2010_44 n99_a_factbook_2_2010_46 PUNC n99_a_factbook_2_2010_41->n99_a_factbook_2_2010_46 n99_a_factbook_2_2010_48 IP-PPL n99_a_factbook_2_2010_41->n99_a_factbook_2_2010_48 n99_a_factbook_2_2010_42->n99_a_factbook_2_2010_43 n99_a_factbook_2_2010_44->n99_a_factbook_2_2010_45 n99_a_factbook_2_2010_46->n99_a_factbook_2_2010_47 n99_a_factbook_2_2010_49 NP-PRD n99_a_factbook_2_2010_48->n99_a_factbook_2_2010_49 n99_a_factbook_2_2010_50 Q;_nphd_ n99_a_factbook_2_2010_49->n99_a_factbook_2_2010_50 n99_a_factbook_2_2010_52 IP-PPL n99_a_factbook_2_2010_49->n99_a_factbook_2_2010_52 n99_a_factbook_2_2010_50->n99_a_factbook_2_2010_51 n99_a_factbook_2_2010_53 VAG;__ n99_a_factbook_2_2010_52->n99_a_factbook_2_2010_53 n99_a_factbook_2_2010_55 NP-OB1 n99_a_factbook_2_2010_52->n99_a_factbook_2_2010_55 n99_a_factbook_2_2010_53->n99_a_factbook_2_2010_54 n99_a_factbook_2_2010_56 N n99_a_factbook_2_2010_55->n99_a_factbook_2_2010_56 n99_a_factbook_2_2010_58 PP n99_a_factbook_2_2010_55->n99_a_factbook_2_2010_58 n99_a_factbook_2_2010_56->n99_a_factbook_2_2010_57 n99_a_factbook_2_2010_59 P-ROLE n99_a_factbook_2_2010_58->n99_a_factbook_2_2010_59 n99_a_factbook_2_2010_61 NP n99_a_factbook_2_2010_58->n99_a_factbook_2_2010_61 n99_a_factbook_2_2010_59->n99_a_factbook_2_2010_60 n99_a_factbook_2_2010_62 D n99_a_factbook_2_2010_61->n99_a_factbook_2_2010_62 n99_a_factbook_2_2010_64 NPR n99_a_factbook_2_2010_61->n99_a_factbook_2_2010_64 n99_a_factbook_2_2010_66 NPR n99_a_factbook_2_2010_61->n99_a_factbook_2_2010_66 n99_a_factbook_2_2010_62->n99_a_factbook_2_2010_63 n99_a_factbook_2_2010_64->n99_a_factbook_2_2010_65 n99_a_factbook_2_2010_66->n99_a_factbook_2_2010_67 n99_a_factbook_2_2010_68->n99_a_factbook_2_2010_69
( (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))