Assertion list for term "given value(s".
Results from Ascent++: 1
command → HasA → given value(s 0.40