Assertion list
thermodynamic process (subgroup of process ) → HasProperty

Results from Ascent++: 1
thermodynamic processHasProperty irreversible 0.79