Assertion list
natural frequency (subgroup of frequency ) → HasProperty

Results from Ascent++: 1
natural frequencyHasProperty equal 0.25