Semantic modeling languages
As we clarified earlier, there are several problems with Smart Contracts, and one of them is language. The language of Smart Contracts is made by programmers and for programmers and is unclear to specialists of subject domains.