Assertion list for term "take int".
Results from Ascent++: 1
function → CapableOf → take int 0.56