Assertion list for term "presented in joint program specifications".
Results from Ascent++: 1
description → ReceivesAction → presented in joint program specifications 0.30