Context                Previous, Next                Top


102_a_factbook_2_2010
Constitutional law is based on the US Constitution and serves as the supreme federal law.

%3 r_0102_0002__law law r_0102_0001__Constitutional Constitutional r_0102_0002__law->r_0102_0001__Constitutional [attrib] r_0102_0003__is is r_0102_0004__based based r_0102_0003__is->r_0102_0004__based [scope] r_0102_0004__based->r_0102_0002__law [arg1] r_0102_0006__the_r_0102_0007__US_r_0102_0008__Constitution the US Constitution r_0102_0004__based->r_0102_0006__the_r_0102_0007__US_r_0102_0008__Constitution on [clr] z_000_102_a_factbook_2_2010_13 r_0102_0004__based->z_000_102_a_factbook_2_2010_13 [arg0] r_0102_0009__and and r_0102_0009__and->r_0102_0003__is [conj1] r_0102_0010__serves serves r_0102_0009__and->r_0102_0010__serves [conj2] r_0102_0010__serves->r_0102_0002__law [arg0] r_0102_0012__the_r_0102_0015__law the law r_0102_0010__serves->r_0102_0012__the_r_0102_0015__law as [clr] r_0102_0013__supreme supreme r_0102_0012__the_r_0102_0015__law->r_0102_0013__supreme [attrib] r_0102_0014__federal federal r_0102_0012__the_r_0102_0015__law->r_0102_0014__federal [attrib] 
arc(r_0102_0002__law, r_0102_0001__Constitutional, attrib3).
arc(r_0102_0003__is, r_0102_0004__based, scope).
arc(r_0102_0004__based, r_0102_0002__law, arg1).
arc(r_0102_0004__based, r_0102_0006__the_r_0102_0007__US_r_0102_0008__Constitution, r_0102_0005__on_clr20).
arc(r_0102_0004__based, z_000_102_a_factbook_2_2010_13, arg0).
arc(r_0102_0009__and, r_0102_0003__is, conj1).
arc(r_0102_0009__and, r_0102_0010__serves, conj2).
arc(r_0102_0010__serves, r_0102_0002__law, arg0).
arc(r_0102_0010__serves, r_0102_0012__the_r_0102_0015__law, r_0102_0011__as_clr36).
arc(r_0102_0012__the_r_0102_0015__law, r_0102_0013__supreme, attrib39).
arc(r_0102_0012__the_r_0102_0015__law, r_0102_0014__federal, attrib42).


%3 r_0102_0002__law law r_0102_0001__Constitutional Constitutional r_0102_0002__law->r_0102_0001__Constitutional [attrib] r_0102_0003__is_r_0102_0004__based is based r_0102_0003__is_r_0102_0004__based->r_0102_0002__law [arg1] r_0102_0006__the_r_0102_0007__US_r_0102_0008__Constitution the US Constitution r_0102_0003__is_r_0102_0004__based->r_0102_0006__the_r_0102_0007__US_r_0102_0008__Constitution on [clr] z_000_102_a_factbook_2_2010_13 r_0102_0003__is_r_0102_0004__based->z_000_102_a_factbook_2_2010_13 [arg0] r_0102_0009__and and r_0102_0009__and->r_0102_0003__is_r_0102_0004__based [conj1] r_0102_0010__serves serves r_0102_0009__and->r_0102_0010__serves [conj2] r_0102_0010__serves->r_0102_0002__law [arg0] r_0102_0012__the_r_0102_0015__law the law r_0102_0010__serves->r_0102_0012__the_r_0102_0015__law as [clr] r_0102_0013__supreme supreme r_0102_0012__the_r_0102_0015__law->r_0102_0013__supreme [attrib] r_0102_0014__federal federal r_0102_0012__the_r_0102_0015__law->r_0102_0014__federal [attrib] 
fof(formula,axiom,
    ? [R_102_9_AND,R_102_3_IS_BASED,Z_102_A_FACTBOOK_2_2010_13,R_102_6_THE_US_CONSTITUTION,R_102_10_SERVES,R_102_2_LAW,R_102_1_CONSTITUTIONAL,R_102_12_THE_LAW,R_102_13_SUPREME,R_102_14_FEDERAL] :
      ( the_US_Constitution(R_102_6_THE_US_CONSTITUTION)
      & constitutional(R_102_1_CONSTITUTIONAL)
      & supreme(R_102_13_SUPREME)
      & federal(R_102_14_FEDERAL)
      & and(R_102_9_AND)
      & conj1(R_102_9_AND,R_102_3_IS_BASED)
      & is_based(R_102_3_IS_BASED,Z_102_A_FACTBOOK_2_2010_13,R_102_2_LAW)
      & law(R_102_2_LAW)
      & attrib3(R_102_2_LAW,R_102_1_CONSTITUTIONAL)
      & on_clr20(R_102_3_IS_BASED,R_102_6_THE_US_CONSTITUTION)
      & conj2(R_102_9_AND,R_102_10_SERVES)
      & serves(R_102_10_SERVES,R_102_2_LAW)
      & as_clr36(R_102_10_SERVES,R_102_12_THE_LAW)
      & the_law(R_102_12_THE_LAW)
      & attrib39(R_102_12_THE_LAW,R_102_13_SUPREME)
      & attrib42(R_102_12_THE_LAW,R_102_14_FEDERAL) ) ).


n102_a_factbook_2_2010 n102_a_factbook_2_2010_5 Constitutional n102_a_factbook_2_2010_7 law n102_a_factbook_2_2010_11 is n102_a_factbook_2_2010_14 * n102_a_factbook_2_2010_16 based n102_a_factbook_2_2010_19 on n102_a_factbook_2_2010_22 the n102_a_factbook_2_2010_24 US n102_a_factbook_2_2010_26 Constitution n102_a_factbook_2_2010_29 and n102_a_factbook_2_2010_32 serves n102_a_factbook_2_2010_35 as n102_a_factbook_2_2010_38 the n102_a_factbook_2_2010_41 supreme n102_a_factbook_2_2010_44 federal n102_a_factbook_2_2010_46 law n102_a_factbook_2_2010_48 . n102_a_factbook_2_2010_1 IP-MAT n102_a_factbook_2_2010_2 NP-SBJ n102_a_factbook_2_2010_1->n102_a_factbook_2_2010_2 n102_a_factbook_2_2010_8 ILYR n102_a_factbook_2_2010_1->n102_a_factbook_2_2010_8 n102_a_factbook_2_2010_47 PUNC n102_a_factbook_2_2010_1->n102_a_factbook_2_2010_47 n102_a_factbook_2_2010_3 ADJP n102_a_factbook_2_2010_2->n102_a_factbook_2_2010_3 n102_a_factbook_2_2010_6 N n102_a_factbook_2_2010_2->n102_a_factbook_2_2010_6 n102_a_factbook_2_2010_4 ADJ n102_a_factbook_2_2010_3->n102_a_factbook_2_2010_4 n102_a_factbook_2_2010_4->n102_a_factbook_2_2010_5 n102_a_factbook_2_2010_6->n102_a_factbook_2_2010_7 n102_a_factbook_2_2010_9 ILYR n102_a_factbook_2_2010_8->n102_a_factbook_2_2010_9 n102_a_factbook_2_2010_27 CONJP n102_a_factbook_2_2010_8->n102_a_factbook_2_2010_27 n102_a_factbook_2_2010_10 BEP;_cat_VePASS_ n102_a_factbook_2_2010_9->n102_a_factbook_2_2010_10 n102_a_factbook_2_2010_12 IP-PPL-CAT n102_a_factbook_2_2010_9->n102_a_factbook_2_2010_12 n102_a_factbook_2_2010_10->n102_a_factbook_2_2010_11 n102_a_factbook_2_2010_13 NP-LGS n102_a_factbook_2_2010_12->n102_a_factbook_2_2010_13 n102_a_factbook_2_2010_15 VVN;_phr_Vn.pr_ n102_a_factbook_2_2010_12->n102_a_factbook_2_2010_15 n102_a_factbook_2_2010_17 PP-CLR n102_a_factbook_2_2010_12->n102_a_factbook_2_2010_17 n102_a_factbook_2_2010_13->n102_a_factbook_2_2010_14 n102_a_factbook_2_2010_15->n102_a_factbook_2_2010_16 n102_a_factbook_2_2010_18 P-ROLE n102_a_factbook_2_2010_17->n102_a_factbook_2_2010_18 n102_a_factbook_2_2010_20 NP n102_a_factbook_2_2010_17->n102_a_factbook_2_2010_20 n102_a_factbook_2_2010_18->n102_a_factbook_2_2010_19 n102_a_factbook_2_2010_21 D n102_a_factbook_2_2010_20->n102_a_factbook_2_2010_21 n102_a_factbook_2_2010_23 NPR n102_a_factbook_2_2010_20->n102_a_factbook_2_2010_23 n102_a_factbook_2_2010_25 N n102_a_factbook_2_2010_20->n102_a_factbook_2_2010_25 n102_a_factbook_2_2010_21->n102_a_factbook_2_2010_22 n102_a_factbook_2_2010_23->n102_a_factbook_2_2010_24 n102_a_factbook_2_2010_25->n102_a_factbook_2_2010_26 n102_a_factbook_2_2010_28 CONJ n102_a_factbook_2_2010_27->n102_a_factbook_2_2010_28 n102_a_factbook_2_2010_30 ILYR n102_a_factbook_2_2010_27->n102_a_factbook_2_2010_30 n102_a_factbook_2_2010_28->n102_a_factbook_2_2010_29 n102_a_factbook_2_2010_31 VBP;_Ipr_ n102_a_factbook_2_2010_30->n102_a_factbook_2_2010_31 n102_a_factbook_2_2010_33 PP-CLR n102_a_factbook_2_2010_30->n102_a_factbook_2_2010_33 n102_a_factbook_2_2010_31->n102_a_factbook_2_2010_32 n102_a_factbook_2_2010_34 P-ROLE n102_a_factbook_2_2010_33->n102_a_factbook_2_2010_34 n102_a_factbook_2_2010_36 NP n102_a_factbook_2_2010_33->n102_a_factbook_2_2010_36 n102_a_factbook_2_2010_34->n102_a_factbook_2_2010_35 n102_a_factbook_2_2010_37 D n102_a_factbook_2_2010_36->n102_a_factbook_2_2010_37 n102_a_factbook_2_2010_39 ADJP n102_a_factbook_2_2010_36->n102_a_factbook_2_2010_39 n102_a_factbook_2_2010_42 ADJP n102_a_factbook_2_2010_36->n102_a_factbook_2_2010_42 n102_a_factbook_2_2010_45 N n102_a_factbook_2_2010_36->n102_a_factbook_2_2010_45 n102_a_factbook_2_2010_37->n102_a_factbook_2_2010_38 n102_a_factbook_2_2010_40 ADJ n102_a_factbook_2_2010_39->n102_a_factbook_2_2010_40 n102_a_factbook_2_2010_40->n102_a_factbook_2_2010_41 n102_a_factbook_2_2010_43 ADJ n102_a_factbook_2_2010_42->n102_a_factbook_2_2010_43 n102_a_factbook_2_2010_43->n102_a_factbook_2_2010_44 n102_a_factbook_2_2010_45->n102_a_factbook_2_2010_46 n102_a_factbook_2_2010_47->n102_a_factbook_2_2010_48 
( (IP-MAT (NP-SBJ;{CONSTITUTIONAL_LAW} (ADJP (ADJ Constitutional;{constitutional}))
                                       (N law;{law}))
          (ILYR (ILYR (BEP;_cat_VePASS_ is;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_phr_Vn.pr_ based;{base[on]})
                                  (PP-CLR (P-ROLE on;{on})
                                          (NP (D the;{the})
                                              (NPR US)
                                              (N Constitution;{constitution})))))
                (CONJP (CONJ and;{and})
                       (ILYR (VBP;_Ipr_ serves;{serve[as]})
                             (PP-CLR (P-ROLE as;{as})
                                     (NP (D the;{the})
                                         (ADJP (ADJ supreme;{supreme}))
                                         (ADJP (ADJ federal;{federal}))
                                         (N law;{law}))))))
          (PUNC .))
  (ID 102_a_factbook_2_2010))