The combinational pattern in a linear formula may be called a phrase structural rule, or rewrite rule.

• 短语结构规则是一组句法重写规则。