Assertion list
sided die (subgroup of die ) → HasA

Results from Ascent++: 1
sided dieHasA number 0.25