Assertion list for term "false(2".
Results from Ascent++: 1
value (aspect of variable) → HasProperty → false(2 0.28