EPub.discount				{ EOrg.preferred ^ EPub.student }
EOrg.preferred ^ EPub.student		{ EOrg.preferred ^ EPub.student }
EOrg.preferred			      *	{ Alice, Cindy, Brian, IEEE.member }
IEEE.member			      *	{ 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			      *	{ StateU.stuId }
Alice					{ Alice }
Brian					{ Brian }
Cindy					{ Cindy }