Formalising Entailments