Assertion list
little mermaid (subgroup of mermaid ) → HasProperty
Results from Ascent++: 1
little mermaid → HasProperty → cute 0.16