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_0012__the_r_0102_0015__law the law r_0102_0014__federal federal r_0102_0012__the_r_0102_0015__law->r_0102_0014__federal [attrib] r_0102_0013__supreme supreme r_0102_0012__the_r_0102_0015__law->r_0102_0013__supreme [attrib] r_0102_0010__serves serves r_0102_0010__serves->r_0102_0012__the_r_0102_0015__law as [clr] r_0102_0002__law law r_0102_0010__serves->r_0102_0002__law [arg0] r_0102_0001__Constitutional Constitutional r_0102_0002__law->r_0102_0001__Constitutional [attrib] r_0102_0009__and and r_0102_0009__and->r_0102_0010__serves [conj2] r_0102_0003__is_r_0102_0004__based is based r_0102_0009__and->r_0102_0003__is_r_0102_0004__based [conj1] r_0102_0003__is_r_0102_0004__based->r_0102_0002__law [arg1] 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_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] 
fof(formula,axiom,
    ? [R_0102_0001__CONSTITUTIONAL,R_0102_0002__LAW,R_0102_0006__THE_R_0102_0007__US_R_0102_0008__CONSTITUTION,Z_000_102_A_FACTBOOK_2_2010_13,R_0102_0003__IS_R_0102_0004__BASED,R_0102_0013__SUPREME,R_0102_0014__FEDERAL,R_0102_0012__THE_R_0102_0015__LAW,R_0102_0010__SERVES,R_0102_0009__AND] :
      ( r_0102_0001__Constitutional(R_0102_0001__CONSTITUTIONAL)
      & r_0102_0006__the_r_0102_0007__US_r_0102_0008__Constitution(R_0102_0006__THE_R_0102_0007__US_R_0102_0008__CONSTITUTION)
      & r_0102_0013__supreme(R_0102_0013__SUPREME)
      & r_0102_0014__federal(R_0102_0014__FEDERAL)
      & z_000_102_a_factbook_2_2010_13(Z_000_102_A_FACTBOOK_2_2010_13)
      & r_0102_0009__and(R_0102_0009__AND)
      & has_conj2(R_0102_0009__AND,R_0102_0010__SERVES)
      & r_0102_0010__serves(R_0102_0010__SERVES)
      & has_r_0102_0011__as_clr36(R_0102_0010__SERVES,R_0102_0012__THE_R_0102_0015__LAW)
      & r_0102_0012__the_r_0102_0015__law(R_0102_0012__THE_R_0102_0015__LAW)
      & has_attrib42(R_0102_0012__THE_R_0102_0015__LAW,R_0102_0014__FEDERAL)
      & has_attrib39(R_0102_0012__THE_R_0102_0015__LAW,R_0102_0013__SUPREME)
      & has_arg0(R_0102_0010__SERVES,R_0102_0002__LAW)
      & r_0102_0002__law(R_0102_0002__LAW)
      & has_attrib3(R_0102_0002__LAW,R_0102_0001__CONSTITUTIONAL)
      & has_conj1(R_0102_0009__AND,R_0102_0003__IS_R_0102_0004__BASED)
      & r_0102_0003__is_r_0102_0004__based(R_0102_0003__IS_R_0102_0004__BASED)
      & has_arg0(R_0102_0003__IS_R_0102_0004__BASED,Z_000_102_A_FACTBOOK_2_2010_13)
      & has_r_0102_0005__on_clr20(R_0102_0003__IS_R_0102_0004__BASED,R_0102_0006__THE_R_0102_0007__US_R_0102_0008__CONSTITUTION)
      & has_arg1(R_0102_0003__IS_R_0102_0004__BASED,R_0102_0002__LAW) ) ).


n102_a_factbook_2_2010 n102_a_factbook_2_2010__1_1_1_1_1 Constitutional n102_a_factbook_2_2010__1_1_2_1 law n102_a_factbook_2_2010__1_2_1_1_1 is n102_a_factbook_2_2010__1_2_1_2_1_1 * n102_a_factbook_2_2010__1_2_1_2_2_1 based n102_a_factbook_2_2010__1_2_1_2_3_1_1 on n102_a_factbook_2_2010__1_2_1_2_3_2_1_1 the n102_a_factbook_2_2010__1_2_1_2_3_2_2_1 US n102_a_factbook_2_2010__1_2_1_2_3_2_3_1 Constitution n102_a_factbook_2_2010__1_2_2_1_1 and n102_a_factbook_2_2010__1_2_2_2_1_1 serves n102_a_factbook_2_2010__1_2_2_2_2_1_1 as n102_a_factbook_2_2010__1_2_2_2_2_2_1_1 the n102_a_factbook_2_2010__1_2_2_2_2_2_2_1_1 supreme n102_a_factbook_2_2010__1_2_2_2_2_2_3_1_1 federal n102_a_factbook_2_2010__1_2_2_2_2_2_4_1 law n102_a_factbook_2_2010__1_3_1 . n102_a_factbook_2_2010__1 IP-MAT n102_a_factbook_2_2010__1_1 NP-SBJ n102_a_factbook_2_2010__1->n102_a_factbook_2_2010__1_1 n102_a_factbook_2_2010__1_2 ILYR n102_a_factbook_2_2010__1->n102_a_factbook_2_2010__1_2 n102_a_factbook_2_2010__1_3 PUNC n102_a_factbook_2_2010__1->n102_a_factbook_2_2010__1_3 n102_a_factbook_2_2010__1_1_1 ADJP n102_a_factbook_2_2010__1_1->n102_a_factbook_2_2010__1_1_1 n102_a_factbook_2_2010__1_1_2 N n102_a_factbook_2_2010__1_1->n102_a_factbook_2_2010__1_1_2 n102_a_factbook_2_2010__1_1_1_1 ADJ n102_a_factbook_2_2010__1_1_1->n102_a_factbook_2_2010__1_1_1_1 n102_a_factbook_2_2010__1_1_1_1->n102_a_factbook_2_2010__1_1_1_1_1 n102_a_factbook_2_2010__1_1_2->n102_a_factbook_2_2010__1_1_2_1 n102_a_factbook_2_2010__1_2_1 ILYR n102_a_factbook_2_2010__1_2->n102_a_factbook_2_2010__1_2_1 n102_a_factbook_2_2010__1_2_2 CONJP n102_a_factbook_2_2010__1_2->n102_a_factbook_2_2010__1_2_2 n102_a_factbook_2_2010__1_2_1_1 BEP;_cat_VePASS_ n102_a_factbook_2_2010__1_2_1->n102_a_factbook_2_2010__1_2_1_1 n102_a_factbook_2_2010__1_2_1_2 IP-PPL-CAT n102_a_factbook_2_2010__1_2_1->n102_a_factbook_2_2010__1_2_1_2 n102_a_factbook_2_2010__1_2_1_1->n102_a_factbook_2_2010__1_2_1_1_1 n102_a_factbook_2_2010__1_2_1_2_1 NP-LGS n102_a_factbook_2_2010__1_2_1_2->n102_a_factbook_2_2010__1_2_1_2_1 n102_a_factbook_2_2010__1_2_1_2_2 VVN;_phr_Vn.pr_ n102_a_factbook_2_2010__1_2_1_2->n102_a_factbook_2_2010__1_2_1_2_2 n102_a_factbook_2_2010__1_2_1_2_3 PP-CLR n102_a_factbook_2_2010__1_2_1_2->n102_a_factbook_2_2010__1_2_1_2_3 n102_a_factbook_2_2010__1_2_1_2_1->n102_a_factbook_2_2010__1_2_1_2_1_1 n102_a_factbook_2_2010__1_2_1_2_2->n102_a_factbook_2_2010__1_2_1_2_2_1 n102_a_factbook_2_2010__1_2_1_2_3_1 P-ROLE n102_a_factbook_2_2010__1_2_1_2_3->n102_a_factbook_2_2010__1_2_1_2_3_1 n102_a_factbook_2_2010__1_2_1_2_3_2 NP n102_a_factbook_2_2010__1_2_1_2_3->n102_a_factbook_2_2010__1_2_1_2_3_2 n102_a_factbook_2_2010__1_2_1_2_3_1->n102_a_factbook_2_2010__1_2_1_2_3_1_1 n102_a_factbook_2_2010__1_2_1_2_3_2_1 D n102_a_factbook_2_2010__1_2_1_2_3_2->n102_a_factbook_2_2010__1_2_1_2_3_2_1 n102_a_factbook_2_2010__1_2_1_2_3_2_2 NPR n102_a_factbook_2_2010__1_2_1_2_3_2->n102_a_factbook_2_2010__1_2_1_2_3_2_2 n102_a_factbook_2_2010__1_2_1_2_3_2_3 N n102_a_factbook_2_2010__1_2_1_2_3_2->n102_a_factbook_2_2010__1_2_1_2_3_2_3 n102_a_factbook_2_2010__1_2_1_2_3_2_1->n102_a_factbook_2_2010__1_2_1_2_3_2_1_1 n102_a_factbook_2_2010__1_2_1_2_3_2_2->n102_a_factbook_2_2010__1_2_1_2_3_2_2_1 n102_a_factbook_2_2010__1_2_1_2_3_2_3->n102_a_factbook_2_2010__1_2_1_2_3_2_3_1 n102_a_factbook_2_2010__1_2_2_1 CONJ n102_a_factbook_2_2010__1_2_2->n102_a_factbook_2_2010__1_2_2_1 n102_a_factbook_2_2010__1_2_2_2 ILYR n102_a_factbook_2_2010__1_2_2->n102_a_factbook_2_2010__1_2_2_2 n102_a_factbook_2_2010__1_2_2_1->n102_a_factbook_2_2010__1_2_2_1_1 n102_a_factbook_2_2010__1_2_2_2_1 VBP;_Ipr_ n102_a_factbook_2_2010__1_2_2_2->n102_a_factbook_2_2010__1_2_2_2_1 n102_a_factbook_2_2010__1_2_2_2_2 PP-CLR n102_a_factbook_2_2010__1_2_2_2->n102_a_factbook_2_2010__1_2_2_2_2 n102_a_factbook_2_2010__1_2_2_2_1->n102_a_factbook_2_2010__1_2_2_2_1_1 n102_a_factbook_2_2010__1_2_2_2_2_1 P-ROLE n102_a_factbook_2_2010__1_2_2_2_2->n102_a_factbook_2_2010__1_2_2_2_2_1 n102_a_factbook_2_2010__1_2_2_2_2_2 NP n102_a_factbook_2_2010__1_2_2_2_2->n102_a_factbook_2_2010__1_2_2_2_2_2 n102_a_factbook_2_2010__1_2_2_2_2_1->n102_a_factbook_2_2010__1_2_2_2_2_1_1 n102_a_factbook_2_2010__1_2_2_2_2_2_1 D n102_a_factbook_2_2010__1_2_2_2_2_2->n102_a_factbook_2_2010__1_2_2_2_2_2_1 n102_a_factbook_2_2010__1_2_2_2_2_2_2 ADJP n102_a_factbook_2_2010__1_2_2_2_2_2->n102_a_factbook_2_2010__1_2_2_2_2_2_2 n102_a_factbook_2_2010__1_2_2_2_2_2_3 ADJP n102_a_factbook_2_2010__1_2_2_2_2_2->n102_a_factbook_2_2010__1_2_2_2_2_2_3 n102_a_factbook_2_2010__1_2_2_2_2_2_4 N n102_a_factbook_2_2010__1_2_2_2_2_2->n102_a_factbook_2_2010__1_2_2_2_2_2_4 n102_a_factbook_2_2010__1_2_2_2_2_2_1->n102_a_factbook_2_2010__1_2_2_2_2_2_1_1 n102_a_factbook_2_2010__1_2_2_2_2_2_2_1 ADJ n102_a_factbook_2_2010__1_2_2_2_2_2_2->n102_a_factbook_2_2010__1_2_2_2_2_2_2_1 n102_a_factbook_2_2010__1_2_2_2_2_2_2_1->n102_a_factbook_2_2010__1_2_2_2_2_2_2_1_1 n102_a_factbook_2_2010__1_2_2_2_2_2_3_1 ADJ n102_a_factbook_2_2010__1_2_2_2_2_2_3->n102_a_factbook_2_2010__1_2_2_2_2_2_3_1 n102_a_factbook_2_2010__1_2_2_2_2_2_3_1->n102_a_factbook_2_2010__1_2_2_2_2_2_3_1_1 n102_a_factbook_2_2010__1_2_2_2_2_2_4->n102_a_factbook_2_2010__1_2_2_2_2_2_4_1 n102_a_factbook_2_2010__1_3->n102_a_factbook_2_2010__1_3_1 
( (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))