Defined predicates for GO-TAG-ENTRY and TYPE-ENTRY.