Assertion list
relative motion (subgroup of motion ) → HasProperty

Results from Ascent++: 1
relative motionHasProperty equal 0.25