Assertion list
value (aspect of variable ) → IsA
Results from Ascent++: 1
value → IsA → is set to the vector 0.28