Title: Symbolic Semantics