semantic predicates