info

fun info(lastDefeasibleRules: Term, defeasibleRules: Term, defeasiblePremises: Term): Term

The info of an argument, made of its parts