Assertion list for term "specified in the services check-outinterface".
Results from Ascent++: 1
term (aspect of contract) → ReceivesAction → specified in the services check-outinterface 0.33