钢筋直螺纹接头标准型接头安装后的外露螺纹不宜超过（）牙。

形式化规约的目标是无二义性、完整性和一致性。