Clarify properties for semantics, fields, and transitions