化「有」而（（（（「列」于（「整数」合「整数」））合（「列」于（「字符串」合「字符串」合「整数」））合（「列」于（「整数」合「整数」合（「列」于「网页指令」）））合（「列」于（「字符串」合「整数」）））合（「列」于（「整数」合「整数」））合（「列」于「网页数据声明」））合（「列」于（「爻」合「整数」）））

文言：歧路归合，引用之型不可混；循环标签与结果各守其义。汉语：标准模块验证引用块、条件、循环、分支表和带类型选择，包含失败类型、不可达规则与结果用于间接调用。