Assertion list
pinata (primary) → HasProperty
Results from Ascent++: 2
pinata → HasProperty → fun 0.22
pinata → HasProperty → adorable 0.16