}
throw new Error("Missing return statement in function");
}
final public AtomList atomListRest() throws ParseException {
AtomList atomList = new AtomList();
RuleAtom kReSAtom;
switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
case AND:
jj_consume_token(AND);
atomList = atomList();