TSPC 106_a_factbook_2

106_a_factbook_2_2010
Administrative law is the authority delegated to federal and state executive agencies.

( (IP-MAT (NP-SBJ;{ADMINISTRATIVE_LAW} (ADJP (ADJ Administrative;{administrative}))
                                       (N law;{law}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D the;{the})
                  (N authority;{authority})
                  (IP-PPL (NP-LGS *)
                          (VVN;__ delegated;{delegate})
                          (PP-CLR (P-ROLE to;{to})
                                  (NP (ADJP (AJLYR (AJLYR (ADJ federal;{federal}))
                                                   (CONJP (CONJ and;{and})
                                                          (AJLYR (ADJ state;{state})))))
                                      (N executive;{executive})
                                      (NS agencies;{agency})))))
          (PUNC .))
  (ID 106_a_factbook_2_2010))

arc(r_0106_0002__law,r_0106_0001__Administrative,attrib).
arc(r_0106_0003__is,r_0106_0002__law,arg0).
arc(r_0106_0003__is,r_0106_0004__the_r_0106_0005__authority,prd).
arc(r_0106_0006__delegated,r_0106_0004__the_r_0106_0005__authority,inv_arg1).
arc(r_0106_0006__delegated,r_0106_0011__executive_r_0106_0012__agencies,r_0106_0007__to__clr).
arc(r_0106_0006__delegated,z_0106_5008___star_,arg0).
arc(r_0106_0009__and,r_0106_0008__federal,conj1).
arc(r_0106_0009__and,r_0106_0010__state,conj2).
arc(r_0106_0011__executive_r_0106_0012__agencies,r_0106_0009__and,attrib).

fof(formula,axiom,
    ? [R_0106_0001__ADMINISTRATIVE,R_0106_0002__LAW,R_0106_0008__FEDERAL,R_0106_0010__STATE,R_0106_0009__AND,R_0106_0011__EXECUTIVE_R_0106_0012__AGENCIES,Z_0106_5008___STAR_,R_0106_0006__DELEGATED,R_0106_0004__THE_R_0106_0005__AUTHORITY,R_0106_0003__IS] :
      ( r_0106_0001__Administrative(R_0106_0001__ADMINISTRATIVE)
      & r_0106_0008__federal(R_0106_0008__FEDERAL)
      & r_0106_0010__state(R_0106_0010__STATE)
      & z_0106_5008___star_(Z_0106_5008___STAR_)
      & r_0106_0003__is(R_0106_0003__IS)
      & has_prd(R_0106_0003__IS,R_0106_0004__THE_R_0106_0005__AUTHORITY)
      & r_0106_0004__the_r_0106_0005__authority(R_0106_0004__THE_R_0106_0005__AUTHORITY)
      & has_inv_arg1(R_0106_0004__THE_R_0106_0005__AUTHORITY,R_0106_0006__DELEGATED)
      & r_0106_0006__delegated(R_0106_0006__DELEGATED)
      & has_arg0(R_0106_0006__DELEGATED,Z_0106_5008___STAR_)
      & has_r_0106_0007__to__clr(R_0106_0006__DELEGATED,R_0106_0011__EXECUTIVE_R_0106_0012__AGENCIES)
      & r_0106_0011__executive_r_0106_0012__agencies(R_0106_0011__EXECUTIVE_R_0106_0012__AGENCIES)
      & has_attrib(R_0106_0011__EXECUTIVE_R_0106_0012__AGENCIES,R_0106_0009__AND)
      & r_0106_0009__and(R_0106_0009__AND)
      & has_conj2(R_0106_0009__AND,R_0106_0010__STATE)
      & has_conj1(R_0106_0009__AND,R_0106_0008__FEDERAL)
      & has_arg0(R_0106_0003__IS,R_0106_0002__LAW)
      & r_0106_0002__law(R_0106_0002__LAW)
      & has_attrib(R_0106_0002__LAW,R_0106_0001__ADMINISTRATIVE) ) ).