straightened semantics