TSPC 102_a_factbook_2

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

( (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))

arc(r_0102_0002__law,r_0102_0001__Constitutional,attrib).
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__clr).
arc(r_0102_0004__based,z_0102_5005___star_,arg0).
arc(r_0102_0009__and,r_0102_0003__is,conj1).
arc(r_0102_0009__and,r_0102_0010__serves_r_0102_0011__as,conj2).
arc(r_0102_0010__serves_r_0102_0011__as,r_0102_0002__law,arg0).
arc(r_0102_0010__serves_r_0102_0011__as,r_0102_0012__the_r_0102_0015__law,arg1).
arc(r_0102_0012__the_r_0102_0015__law,r_0102_0013__supreme,attrib).
arc(r_0102_0012__the_r_0102_0015__law,r_0102_0014__federal,attrib).

fof(formula,axiom,
    ? [R_0102_0001__CONSTITUTIONAL,R_0102_0002__LAW,R_0102_0006__THE_R_0102_0007__US_R_0102_0008__CONSTITUTION,Z_0102_5005___STAR_,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_0011__AS,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_0102_5005___star_(Z_0102_5005___STAR_)
      & r_0102_0009__and(R_0102_0009__AND)
      & has_conj2(R_0102_0009__AND,R_0102_0010__SERVES_R_0102_0011__AS)
      & r_0102_0010__serves_r_0102_0011__as(R_0102_0010__SERVES_R_0102_0011__AS)
      & has_arg1(R_0102_0010__SERVES_R_0102_0011__AS,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_attrib(R_0102_0012__THE_R_0102_0015__LAW,R_0102_0014__FEDERAL)
      & has_attrib(R_0102_0012__THE_R_0102_0015__LAW,R_0102_0013__SUPREME)
      & has_arg0(R_0102_0010__SERVES_R_0102_0011__AS,R_0102_0002__LAW)
      & r_0102_0002__law(R_0102_0002__LAW)
      & has_attrib(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_0102_5005___STAR_)
      & has_r_0102_0005__on__clr(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) ) ).