Defeasibility in contextual reasoning with CKR