EOrg.preferred<-ACM.Member
ACM.Member<-Alice
ACM.Member<-Cindy
ACM.Member<-Brian
EPub.student<-EPub.University.StuId
EPub.University<-ABU.Accredited
ABU.Accredited<-StateU
StateU.StuId<-Alice
StateU.StuId <- Cindy