structural-generative semantics