...final principal set...
(pAlice,keyid,y) 
(pDormouse,keyid,y) 
(pHatter,keyid,y) 
(pMarchhare,keyid,y) 
(pParty,keyid,y) 
(pTea,keyid,y) 

...final policy attribute set...
pParty.about_another_float(8) <- pMarchhare
pParty.about_another_integer(-7) <- pMarchhare
pParty.about_another_time(20201101T182930) <- pMarchhare
pParty.about_boolean(true) <- pMarchhare
pParty.about_float(-200.0) <- pMarchhare
pParty.about_integer(4) <- pMarchhare
pParty.about_key(pTea) <- pMarchhare
pParty.about_other_party(pTea,_,99,AAA,BBB,true,_) <- pMarchhare
pParty.about(pTea,20101010T000000,true,4,-200.0,8,20120205T182930,'a list','file://usr/party/~teaparty') <- pParty.guestOf(pMarchhare)
pParty.about_string2('a mangled \'string\'') <- pMarchhare
pParty.about_string('a confused party') <- pMarchhare
pParty.about_another_float(0.22) <- pMarchhare
pParty.about_time(20201101T000000) <- pMarchhare
pParty.about_urn('file://user/local/party/~sillyparty') <- pMarchhare
pParty.friendOf(pAlice) <- pHatter
pParty.friendOf(pMarchhare) <- pDormouse
pParty.guestOf(V) <- pParty.friendOf(V)
pParty.guests <- pParty.friendOf(pMarchhare)

===good============ Party.guests <- dourmouse
YAP query succeed
pParty.guests <- pParty.friendOf(pMarchhare)
pParty.friendOf(pMarchhare) <- pDormouse

===bad============ Party.guests <- hatter
YAP query failed