Assertion list for term "at least one force".
Results from Ascent++: 1
attachment → HasA → at least one force 0.30