public Object visitQuantifiedSentence(QuantifiedSentence sentence,
Object arg)
{
// This should not be called as should have already
// removed all of the quantifiers.
throw new NotImplementedException(
"All quantified sentences should have already been removed.");
}