Varieties of formal semantics by