Semantic predicates and tests for them.