259260261262263264265266267268269
t = curr; } else if (n instanceof CommaToken) { Term other = getTerm(); t = new Conj(curr, getConjCont(other)); } if (null == t) { throw new ParserException("'.'", "bad body element", n); }
360361362363364365366367368369370
} else if (n instanceof CommaToken) { Term b = getTerm(); Term bs = getConjCont(b); C = toClause(new Conj(h, bs), dict); } else { throw new ParserException("':-' or '.' or ','", "bad body element", n); }