他的模糊在于,B也要首先遵守A.1,但B不需要遵守A.2,当违背A.1的时候,这个A.1是应该属于B还是属于A。 从编程角度, A.1在A里面是一个action,但在B里面是一个condition,所以如果触犯A.1,属于A;B是A.2的exception,不是A.2的else