semantic_and and semantic_not