Definition:Structure for Formal Semantics