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