82_a_ibm_1401
Executive schools for management personnel.
( (FRAG (NP (ADJP (ADJ Executive;{executive}))
(NS schools;{school})
(PP (P-ROLE for;{for})
(NP (N management;{management})
(NS personnel;{personnel}))))
(PUNC .))
(ID 82_a_ibm_1401))
arc(r_0082_0002__schools,r_0082_0001__Executive,attrib).
arc(r_0082_0002__schools,r_0082_0004__management_r_0082_0005__personnel,r_0082_0003__for).
arc(z_0082_5006,r_0082_0002__schools,z_0082_5002).
fof(formula,axiom,
? [R_0082_0001__EXECUTIVE,R_0082_0004__MANAGEMENT_R_0082_0005__PERSONNEL,R_0082_0002__SCHOOLS,Z_0082_5006] :
( r_0082_0001__Executive(R_0082_0001__EXECUTIVE)
& r_0082_0004__management_r_0082_0005__personnel(R_0082_0004__MANAGEMENT_R_0082_0005__PERSONNEL)
& z_0082_5006(Z_0082_5006)
& has_z_0082_5002(Z_0082_5006,R_0082_0002__SCHOOLS)
& r_0082_0002__schools(R_0082_0002__SCHOOLS)
& has_r_0082_0003__for(R_0082_0002__SCHOOLS,R_0082_0004__MANAGEMENT_R_0082_0005__PERSONNEL)
& has_attrib(R_0082_0002__SCHOOLS,R_0082_0001__EXECUTIVE) ) ).