Assertion list for term "3-5 property".

Results from Ascent++: 1
different size (subgroup of size) IsA3-5 property 0.32