一组抽象的格式化树。自然例证 一组抽象的格式化树。自然例证.