| (subclass PetPolicy Policy) | Hotel.kif 2507-2507 | PetPolicy は Policy の subclass では %n |
| (subclass PetsAllowedPolicy PetPolicy) | Hotel.kif 2556-2556 | PetsAllowedPolicy は PetPolicy の subclass では %n |
| (subclass NoPetsPolicy PetPolicy) | Hotel.kif 2572-2572 | NoPetsPolicy は PetPolicy の subclass では %n |
|
|