Formal Semantics for LIPS: