Tekstiviesti: The syntax and semantics of entailment in duality theory