The result is a richer and more expressive formalism with a broad range of possible application areas.
结果是更加丰富和更有表达力的形式化，并有广阔的可能应用领域。