public Object accept(FOLVisitor v, Object arg) { return v.visitConnectedSentence(this, arg); }
public Object accept(FOLVisitor v, Object arg) { return v.visitFunction(this, arg); }
public Object accept(FOLVisitor v, Object arg) { return v.visitConstant(this, arg); }
public Object accept(FOLVisitor v, Object arg) { return v.visitVariable(this, arg); }
public Object accept(FOLVisitor v, Object arg) { return(v.visitNotSentence(this, arg)); }
public Object accept(FOLVisitor v, Object arg) { return v.visitPredicate(this, arg); }
public Object accept(FOLVisitor v, Object arg) { return(v.visitTermEquality(this, arg)); }
public Object accept(FOLVisitor v, Object arg) { return(v.visitFunction(this, arg)); }
public Object accept(FOLVisitor v, Object arg) { return v.visitTermEquality(this, arg); }
public object accept(FOLVisitor v, object arg) { return(v.visitConstant(this, arg)); }
public Object accept(FOLVisitor v, Object arg) { return v.visitQuantifiedSentence(this, arg); }
public Object accept(FOLVisitor v, Object arg) { return(v.visitPredicate(this, arg)); }
public object accept(FOLVisitor v, object arg) { return(v.visitQuantifiedSentence(this, arg)); }