Assertion list for term "unknown(0".
Results from Ascent++: 1
value → HasProperty → unknown(0 0.41