Assertion list for term "truthy".
Results from Ascent++: 3
value → HasProperty → truthy 0.56
value (aspect of function) → HasProperty → truthy 0.45
value (aspect of parameter) → HasProperty → truthy 0.37