Assertion list
thermodynamic process (subgroup of process ) → ReceivesAction

Results from Ascent++: 1
thermodynamic processReceivesAction analyzed 0.74