Assertion list for term "reported to controller".
Results from Ascent++: 1
status (aspect of device) → ReceivesAction → reported to controller 0.29