5.2.1 TL模型形式