Assertion list
robot (primary) → DefinedAs
Results from Ascent++: 1
robot → DefinedAs → machine 0.50