9.4.6 ALF的相关语法元素