Assertion list
big cat (primary) → HasProperty
Results from Ascent++: 4
big cat → HasProperty → big 0.35
big cat → HasProperty → active 0.30
big cat → HasProperty → beautiful 0.16
big cat → HasProperty → elusive 0.16