public Object accept(FOLVisitor v, Object arg) { return(v.visitQuantifiedSentence(this, arg)); }
public Object accept(FOLVisitor v, Object arg) { return v.visitQuantifiedSentence(this, arg); }