Assertion list
little lamb (subgroup of lamb ) → HasProperty
Results from Ascent++: 1
little lamb → HasProperty → adorable 0.59