case1 rule set...
..pSuperK.park<-pSuperK.employee 
case2 rule set...
....pSuperK.park<-pSuperK.employee 
....pSuperK.employee<-pJack 
case3 rule set...
....pSuperK.park<-pSuperK.employee 
....pSuperK.employee<-pJack 
....pSuperK.employee<-pBob 
case4 rule set...
......pSuperK.park<-pSuperK.employee 
......pSuperK.employee<-pJack 
......pSuperK.employee<-pBob 
......pSuperK.employee<-pMary