Assertion list
new process (subgroup of process ) → HasProperty
Results from Ascent++: 5
new process → HasProperty → open 0.31
new process → HasProperty → more efficient 0.29
new process → HasProperty → effective 0.20
new process → HasProperty → simpler 0.16
new process → HasProperty → viable 0.16