Assertion list for term "come in multiples of 1/2".

Results from Ascent++: 1
spin CapableOfcome in multiples of 1/2 0.25