325326327328329330331332333334335
term.termParams .add((IExpression) nodeSeq.get(2).accept(this, term)); if (args.size() == 1) return term; else and.addExpr(term); } return and; } public Object visit(RIFConclusion n, IRuleNode argu) {