5.1 语义性准则