Assertion list
flashlight (primary) → IsA
Results from Ascent++: 1
flashlight → IsA → a high-intensity lighting device 0.31