Assertion list for term "take number".
Results from Ascent++: 2
function → CapableOf → take number 0.55
proof → CapableOf → take number 0.29