Defined predicates for DEFINITION-ENTRY and LOCATION-ENTRY.