Restructured semantics