Varieties of formal semantics door