Assertion list
karaoke (primary) → HasProperty
Results from Ascent++: 2
karaoke → HasProperty → popular 0.58
karaoke → HasProperty → fun 0.57