Requirement Formalization Tool