术语表[#5]

三个主题共用的术语集中解释于术语表，例如tree、片段、计划、实例、taxon与Formula。