Assertion list
large asteroid (subgroup of asteroid ) → HasProperty
Results from Ascent++: 1
large asteroid → HasProperty → irregular 0.25