varCount
KB
variableList
RuleT
RuleContainer