تگ: formal semantics