TSPC 284_a_law

284_a_law_h15a119
(iii) Colleges, universities, other institutions or organizations engaged in academic studies, or entities belonging to them:

( (FRAG (LST (PULB -LRB-)
             (LS iii)
             (PURB -RRB-))
        (NP (NLYR (NLYR (NS Colleges;{college}))
                  (PUNC ,)
                  (CONJP (NLYR (NS universities;{university})))
                  (PUNC ,)
                  (CONJP (NLYR (ADJP (ADJ other;{other}))
                               (NLYR (NLYR (NS institutions;{institution}))
                                     (CONJP (CONJ or;{or})
                                            (NLYR (NS organizations;{organization}))))
                               (IP-PPL (NP-LGS *)
                                       (VVN;_Tn_ engaged;{engage})
                                       (PP-NIM (P-ROLE in;{in})
                                               (NP (ADJP (ADJ academic;{academic}))
                                                   (NS studies;{study}))))))
                  (PUNC ,)
                  (CONJP (CONJ or;{or})
                         (NLYR (NS entities;{entity})
                               (IP-PPL (VAG;_Ipr_ belonging;{belong[to]})
                                       (PP-CLR (P-ROLE to;{to})
                                               (NP (PRO them;{they}))))))))
        (PUNC :))
  (ID 284_a_law_h15a119;222_5_50_1iii))

arc(r_0284_0010__or,r_0284_0008__other,attrib).
arc(r_0284_0010__or,r_0284_0009__institutions,conj1).
arc(r_0284_0010__or,r_0284_0011__organizations,conj2).
arc(r_0284_0012__engaged,r_0284_0010__or,inv_arg1).
arc(r_0284_0012__engaged,r_0284_0015__studies,r_0284_0013__in__nim).
arc(r_0284_0012__engaged,z_0284_5010___star_,arg0).
arc(r_0284_0015__studies,r_0284_0014__academic,attrib).
arc(r_0284_0017__or,r_0284_0004__Colleges,conj1).
arc(r_0284_0017__or,r_0284_0006__universities,conj2).
arc(r_0284_0017__or,r_0284_0010__or,conj3).
arc(r_0284_0017__or,r_0284_0018__entities,conj4).
arc(r_0284_0019__belonging_r_0284_0020__to,r_0284_0018__entities,inv_arg0).
arc(r_0284_0019__belonging_r_0284_0020__to,r_0284_0021__them,arg1).
arc(z_0284_5016,r_0284_0017__or,z_0284_5002).

fof(formula,axiom,
    ? [R_0284_0004__COLLEGES,R_0284_0006__UNIVERSITIES,R_0284_0008__OTHER,R_0284_0009__INSTITUTIONS,R_0284_0011__ORGANIZATIONS,R_0284_0014__ACADEMIC,R_0284_0015__STUDIES,Z_0284_5010___STAR_,R_0284_0012__ENGAGED,R_0284_0010__OR,R_0284_0021__THEM,R_0284_0019__BELONGING_R_0284_0020__TO,R_0284_0018__ENTITIES,R_0284_0017__OR,Z_0284_5016] :
      ( r_0284_0004__Colleges(R_0284_0004__COLLEGES)
      & r_0284_0006__universities(R_0284_0006__UNIVERSITIES)
      & r_0284_0008__other(R_0284_0008__OTHER)
      & r_0284_0009__institutions(R_0284_0009__INSTITUTIONS)
      & r_0284_0011__organizations(R_0284_0011__ORGANIZATIONS)
      & r_0284_0014__academic(R_0284_0014__ACADEMIC)
      & r_0284_0021__them(R_0284_0021__THEM)
      & z_0284_5010___star_(Z_0284_5010___STAR_)
      & z_0284_5016(Z_0284_5016)
      & has_z_0284_5002(Z_0284_5016,R_0284_0017__OR)
      & r_0284_0017__or(R_0284_0017__OR)
      & has_conj4(R_0284_0017__OR,R_0284_0018__ENTITIES)
      & r_0284_0018__entities(R_0284_0018__ENTITIES)
      & has_inv_arg0(R_0284_0018__ENTITIES,R_0284_0019__BELONGING_R_0284_0020__TO)
      & r_0284_0019__belonging_r_0284_0020__to(R_0284_0019__BELONGING_R_0284_0020__TO)
      & has_arg1(R_0284_0019__BELONGING_R_0284_0020__TO,R_0284_0021__THEM)
      & has_conj3(R_0284_0017__OR,R_0284_0010__OR)
      & r_0284_0010__or(R_0284_0010__OR)
      & has_inv_arg1(R_0284_0010__OR,R_0284_0012__ENGAGED)
      & r_0284_0012__engaged(R_0284_0012__ENGAGED)
      & has_arg0(R_0284_0012__ENGAGED,Z_0284_5010___STAR_)
      & has_r_0284_0013__in__nim(R_0284_0012__ENGAGED,R_0284_0015__STUDIES)
      & r_0284_0015__studies(R_0284_0015__STUDIES)
      & has_attrib(R_0284_0015__STUDIES,R_0284_0014__ACADEMIC)
      & has_conj2(R_0284_0010__OR,R_0284_0011__ORGANIZATIONS)
      & has_conj1(R_0284_0010__OR,R_0284_0009__INSTITUTIONS)
      & has_attrib(R_0284_0010__OR,R_0284_0008__OTHER)
      & has_conj2(R_0284_0017__OR,R_0284_0006__UNIVERSITIES)
      & has_conj1(R_0284_0017__OR,R_0284_0004__COLLEGES) ) ).