Assertion list
mandolin (primary) → HasProperty
Results from Ascent++: 2
mandolin → HasProperty → analogous 0.31
mandolin → HasProperty → beautiful 0.27