Assertion list for term "25% rca".

Results from Ascent++: 1
concrete HasA25% rca 0.25