Assertion list
given rational number (subgroup of rational number ) → HasProperty
Results from Ascent++: 1
given rational number → HasProperty → equal 0.68