Assertion list for term "caused by any specification".
Results from Ascent++: 1
obligation (aspect of contract) → ReceivesAction → caused by any specification 0.11