Assertion list
light wave (subgroup of wave ) → HasProperty
Results from Ascent++: 2
light wave → HasProperty → transverse 0.77
light wave → HasProperty → parallel 0.25