public String addAnswerLiteral()
{
String al = null;
do
{
al = "Answer" + (answerLiteralIndexical++);
} while (constants.Contains(al) || functions.Contains(al)
|| predicates.Contains(al));
addPredicate(al);
notifyFOLDomainListeners(new FOLDomainAnswerLiteralAddedEvent(this, al));
return al;
}