1．mainly英[ˈmeɪnli]美[ˈmeɪnli]，adv.主要地; 首要地; 大部分; 大多。
2．[例句]Even today, formal verification is mainly a research area.甚至现在，形式验证主要地用于研究领域。
