Assertion list
keychain flashlight (subgroup of flashlight ) → HasProperty
Results from Ascent++: 1
keychain flashlight → HasProperty → small 0.72