Assertion list
network (aspect of mobile ) → ReceivesAction
Results from Ascent++: 2
network → ReceivesAction → based on current mobile unit 0.43
network → ReceivesAction → configured to interact with mul… 0.30