Assertion list for term "chosen by the hal implementation".
Results from Ascent++: 1
value (aspect of function) → ReceivesAction → chosen by the hal implementation 0.25