More semantics classes