284_a_law_h15a119
(iii) Colleges, universities, other institutions or organizations engaged in academic studies, or entities belonging to them:
arc(r_0284_0010__or, r_0284_0008__other, attrib24).
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, arg1).
arc(r_0284_0012__engaged, r_0284_0015__studies, r_0284_0013__in_nim45).
arc(r_0284_0012__engaged, z_000_284_a_law_h15a119_38, arg0).
arc(r_0284_0015__studies, r_0284_0014__academic, attrib46).
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_0015__studies, r_0284_0020__to_clr65).
arc(r_0284_0019__belonging, r_0284_0018__entities, arg0).
arc(z_000_284_a_law_h15a119_1, r_0284_0017__or, nim9).
fof(formula,axiom,
? [R_0284_0008__OTHER,R_0284_0009__INSTITUTIONS,R_0284_0011__ORGANIZATIONS,R_0284_0010__OR,R_0284_0014__ACADEMIC,R_0284_0015__STUDIES,Z_000_284_A_LAW_H15A119_38,R_0284_0012__ENGAGED,R_0284_0018__ENTITIES,R_0284_0019__BELONGING,R_0284_0004__COLLEGES,R_0284_0006__UNIVERSITIES,R_0284_0017__OR,Z_000_284_A_LAW_H15A119_1] :
( 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_0018__entities(R_0284_0018__ENTITIES)
& z_000_284_a_law_h15a119_38(Z_000_284_A_LAW_H15A119_38)
& z_000_284_a_law_h15a119_1(Z_000_284_A_LAW_H15A119_1)
& has_nim9(Z_000_284_A_LAW_H15A119_1,R_0284_0017__OR)
& r_0284_0017__or(R_0284_0017__OR)
& has_conj4(R_0284_0017__OR,R_0284_0018__ENTITIES)
& has_conj3(R_0284_0017__OR,R_0284_0010__OR)
& r_0284_0010__or(R_0284_0010__OR)
& has_conj2(R_0284_0010__OR,R_0284_0011__ORGANIZATIONS)
& has_conj1(R_0284_0010__OR,R_0284_0009__INSTITUTIONS)
& has_attrib24(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)
& r_0284_0019__belonging(R_0284_0019__BELONGING)
& has_arg0(R_0284_0019__BELONGING,R_0284_0018__ENTITIES)
& has_r_0284_0020__to_clr65(R_0284_0019__BELONGING,R_0284_0015__STUDIES)
& r_0284_0015__studies(R_0284_0015__STUDIES)
& has_attrib46(R_0284_0015__STUDIES,R_0284_0014__ACADEMIC)
& r_0284_0012__engaged(R_0284_0012__ENGAGED)
& has_arg0(R_0284_0012__ENGAGED,Z_000_284_A_LAW_H15A119_38)
& has_r_0284_0013__in_nim45(R_0284_0012__ENGAGED,R_0284_0015__STUDIES)
& has_arg1(R_0284_0012__ENGAGED,R_0284_0010__OR) ) ).
( (FRAG (PULB -LRB-)
(LST (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))