this kind of predicate is known as nominal predicate