Assertion list
infinite set (subgroup of set ) → IsA
Results from Ascent++: 1
infinite set → IsA → bigger than others 0.76