be logically deducible from the proposition - Allemand Anglais Dictionnaire