information about Axiomatic semantics field