The following predicate functions are used with instances.
INSTANCE-ADDRESSP
INSTANCE-EXISTP
INSTANCE-NAMEP
INSTANCEP