Assertion list
electromagnetic spectrum (subgroup of spectrum ) → HasProperty
Results from Ascent++: 1
electromagnetic spectrum → HasProperty → visible 0.25