semantic_algebra