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_284_12_ENGAGED,Z_284_A_LAW_H15A119_38,R_284_19_BELONGING,R_284_15_STUDIES,R_284_14_ACADEMIC,Z_284_A_LAW_H15A119_1,R_284_17_OR,R_284_4_COLLEGES,R_284_6_UNIVERSITIES,R_284_10_OR,R_284_8_OTHER,R_284_9_INSTITUTIONS,R_284_11_ORGANIZATIONS,R_284_18_ENTITIES] :
( academic(R_284_14_ACADEMIC)
& colleges(R_284_4_COLLEGES)
& universities(R_284_6_UNIVERSITIES)
& other(R_284_8_OTHER)
& institutions(R_284_9_INSTITUTIONS)
& organizations(R_284_11_ORGANIZATIONS)
& entities(R_284_18_ENTITIES)
& engaged(R_284_12_ENGAGED,Z_284_A_LAW_H15A119_38,R_284_10_OR)
& or(R_284_10_OR)
& attrib24(R_284_10_OR,R_284_8_OTHER)
& conj1(R_284_10_OR,R_284_9_INSTITUTIONS)
& conj2(R_284_10_OR,R_284_11_ORGANIZATIONS)
& in_nim45(R_284_12_ENGAGED,R_284_15_STUDIES)
& studies(R_284_15_STUDIES)
& attrib46(R_284_15_STUDIES,R_284_14_ACADEMIC)
& belonging(R_284_19_BELONGING,R_284_18_ENTITIES)
& to_clr65(R_284_19_BELONGING,R_284_15_STUDIES)
& z_284_a_law_h15a119_1(Z_284_A_LAW_H15A119_1)
& nim9(Z_284_A_LAW_H15A119_1,R_284_17_OR)
& or(R_284_17_OR)
& conj1(R_284_17_OR,R_284_4_COLLEGES)
& conj2(R_284_17_OR,R_284_6_UNIVERSITIES)
& conj3(R_284_17_OR,R_284_10_OR)
& conj4(R_284_17_OR,R_284_18_ENTITIES) ) ).
( (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))