First Order Logic

Is there a reason we can't use `sympy.core.function.Function`?