Assertion list
robotic lawn mower (subgroup of lawn mower ) → ReceivesAction
Results from Ascent++: 1
robotic lawn mower → ReceivesAction → designed to operate on own 0.68