'This method serves as a hook for other logic parsers that
have different quantifiers'

def get_QuantifiedExpression_factory(self, tok):

    if (tok in Tokens.EXISTS_LIST):
        return ExistsExpression
    elif (tok in Tokens.ALL_LIST):
        return AllExpression
    else:
        self.assertToken(tok, Tokens.QUANTS)
