Assertion list
reserve requirement (subgroup of requirement ) → IsA
Results from Ascent++: 1
reserve requirement → IsA → unconstitutional taking of thei… 0.59