属性信息
definition
p has output c iff c is a participant in p, c is present at the end of p, and c is not present at the beginning of p.