Propertarianism is calculable (possible by humans) but not computable (possible

Propertarianism is calculable (possible by humans) but not computable (possible by machines) where calculation consist of transformation of inputs into outputs by means that are subjectively testable (unlimited), open to deduction, inference, and recursion, and computation is the transformation of inputs into outputs given the internal limits of comparison of the computational grammar.