defeasibleRules

val defeasibleRules: Term