public FOLDomain getFOLDomain() { return domain; }
public FOLDomain getFOLDomain() { return(lexer.getFOLDomain()); }