Assertion list for term "detailed in the order specification".
Results from Ascent++: 1
term (aspect of contract) → ReceivesAction → detailed in the order specification 0.27