Assertion list for term "finite speed".
Results from Ascent++: 1
light → HasA → finite speed 0.40