Assertion list
decimal (primary) → CapableOf
Results from Ascent++: 2
decimal → CapableOf → subtract in same way 0.25
decimal → CapableOf → withstand reduction 0.25