Assertion list
characteristic (aspect of engine ) → ReceivesAction
Results from Ascent++: 3
characteristic → ReceivesAction → shown in fig 0.68
characteristic → ReceivesAction → combined in suitable manner 0.34
characteristic → ReceivesAction → selected 0.34