semantic simplification