fn:hyperbolic-inference