information about Operational semantics field