Argument
constructor(rules: List<RuleIdentifier>, topRule: RuleIdentifier, conclusion: Literal, groundings: List<Literal> = emptyList(), defeasibleRules: List<RuleIdentifier> = emptyList(), defeasiblePremises: List<RuleIdentifier> = emptyList(), lastDefeasibleRules: List<RuleIdentifier> = emptyList(), term: Term? = null)