等谓语

equality predicate