 expresses that \(\phi\) defeasibly implies \(\psi\) on the assumption that \(\mathsf{as}\) holds. Assumptions are interpreted as valid “as much as possible”. There are various ways to give a more precise meaning to this. 