Assertion list for term "navigate room".

Results from Ascent++: 1
robot CapableOfnavigate room 0.39