Parts

constructor(rules: Term, topRule: Term, conclusion: Term, body: Term, lastDefeasibleRules: Term, defeasibleRules: Term, defeasiblePremises: Term)