The formalization of natural language contracts can make the prescriptions found in these
contracts more precise, promoting the development of smart contracts, which are digitized …