Title: Practical semantics