Assertion list for term "chosen for the execution variables".
Results from Ascent++: 1
coordinate → ReceivesAction → chosen for the execution variables 0.25