Assertion list for term "avoid obstacles".

Results from Ascent++: 1
robot CapableOfavoid obstacles 0.38