public FOLLexer(FOLDomain domain)
{
this.domain = domain;
connectors = new List<String>();
connectors.Add(Connectors.NOT);
connectors.Add(Connectors.AND);
connectors.Add(Connectors.OR);
connectors.Add(Connectors.IMPLIES);
connectors.Add(Connectors.BICOND);
quantifiers = new List<String>();
quantifiers.Add(Quantifiers.FORALL);
quantifiers.Add(Quantifiers.EXISTS);
}