In a system under design, most functional errors encountered during the verification process are attributed to a misleading interpretation of system requirements. Therefore, the consistent reading of requirements, while mapping them to an unambiguous interpretation is of paramount importance. In requirements formalization, each natural language requirement is captured by one or more logical properties. In this process, we face the problem of consistently interpreting requirements, which stems from the varied use of natural language among engineers and the inherent ambiguities in the use of natural language. This paper introduces solutions that have been tested to demonstrate their effectiveness and utility. A set of templates - called boilerplates - for the specification of requirements in natural language is employed. Boilerplate-based requirements are then formalized into a logic language using an automated algorithm that eliminates ambiguity and ensures semantic consistency.