Assertion list
infrared light (primary) → IsA

Results from Ascent++: 1
infrared lightIsA electromagnetic radiation 0.25