Assertion list
lamp (primary) → IsA
Results from Ascent++: 2
lamp → IsA → light source 0.55
lamp → IsA → invisible light source 0.35