Assertion list
incandescent lamp (subgroup of lamp ) → IsA
Results from Ascent++: 2
incandescent lamp → IsA → gas-filled 0.38
incandescent lamp → IsA → vacuum-sealed 0.38