Assertion list for term "navigate the world".

Results from Ascent++: 1
robot CapableOfnavigate the world 0.46