Assertion list for term "associated with the @value member".
Results from Ascent++: 1
value (aspect of promise) → ReceivesAction → associated with the @value member 0.25