Assertion list
pair (aspect of spider ) → HasProperty
Results from Ascent++: 2
pair → HasProperty → longer 0.68
pair → HasProperty → large 0.25