语义限制

context sensitive constraint