(=>
(and
(instance ?POLICY NoPetsPolicy)
(policyLocationCoverage ?POLICY ?LOC)
(policyOwner ?AGENT ?POLICY))
(deprivesNorm ?AGENT Permission
(exists (?PET)
(and
(instance ?PET DomesticAnimal)
(located ?PET ?LOC))))) |
Hotel.kif 2595-2604 |
If X is an instance of no pets allowed, X covers Y, and Z enacts policy X, then Z deprives norm permission for there exists W such that W is an instance of domestic animal and W is located at Y |
(=>
(and
(instance ?POLICY NoSmokingPolicy)
(policyLocationCoverage ?POLICY ?LOC)
(policyOwner ?AGENT ?POLICY))
(deprivesNorm ?AGENT Permission
(exists (?SMOKE)
(and
(instance ?SMOKE Smoking)
(located ?SMOKE ?LOC))))) |
Hotel.kif 2611-2620 |
If X is an instance of no smoking policy, X covers Y, and Z enacts policy X, then Z deprives norm permission for there exists W such that W is an instance of smoking and W is located at Y |
(=>
(and
(instance ?POLICY NoChildrenPolicy)
(policyLocationCoverage ?POLICY ?LOC)
(policyOwner ?AGENT ?POLICY))
(deprivesNorm ?AGENT Permission
(exists (?CHILD)
(and
(instance ?CHILD HumanChild)
(located ?CHILD ?LOC))))) |
Hotel.kif 2644-2653 |
If X is an instance of no children allowed, X covers Y, and Z enacts policy X, then Z deprives norm permission for there exists W such that W is an instance of human child and W is located at Y |
(=>
(deprivesNorm ?E Permission ?F)
(deprivesNorm ?E Obligation ?F)) |
Law.kif 328-330 |
If X deprives norm permission for Y, then X deprives norm obligation for Y |
