Assertion list
main jet (subgroup of jet ) → HasProperty
Results from Ascent++: 1
main jet → HasProperty → large 0.59