derive semantics of equations