EPub.discount				{ EOrg.preferred ^ EPub.student }
EOrg.preferred ^ EPub.student		{ EOrg.preferred ^ EPub.student }
EOrg.preferred				{ Alice, Cindy, Brian }
IEEE.member				{ }
ACM.member				{ Alice, Cindy, Brian }
EPub.student				{ EPub.university.stuId }
EPub.university.stuId			{ EPub.university.stuId }
EPub.university				{ StateU }
ABU.accredited				{ StateU }
StateU					{ StateU }
StateU.stuId				{ Alice, Brian }
Alice					{ Alice }
Brian					{ Brian }
Cindy					{ Cindy }