None of the specifications you cite contains a formal semantics of the language in question; that ought to be the basis on which arguments about simplicity shou

None of the specifications you cite contains a formal semantics of the language in question; that ought to be the basis on which arguments about simplicity should be founded. (Why the lack of formal semantics? My guess is that all of these languages, to varying degree, are too complex to easily formalize...)