jj_consume_token(LPAR);
t = jj_consume_token(VARIABLE);
jj_consume_token(RPAR);
var=t.image; var=kb.getPrefixURI("var") + var.substring(1);
try{
{if (true) return new VariableAtom(new URI(var), true);}
} catch (URISyntaxException e) {
e.printStackTrace();
{if (true) return null;}
}
break;
case VARIABLE:
t = jj_consume_token(VARIABLE);
var=t.image; var=kb.getPrefixURI("var") + var.substring(1);
try{
{if (true) return new VariableAtom(new URI(var), false);}
} catch (URISyntaxException e) {
e.printStackTrace();
{if (true) return null;}
}
break;