Like most any engineering model with the rigor needed to perform its intended function. Logicians speak natural languages pretty well too.
Familiarity has nothing to do with it.
To play this role, the clarity and precision of logical languages are essential. Perhaps you have other applications in mind that don't require this sort of precision. But that does not undermine the need for a formal SUO for computational applications. And far more accessible than many mathematically oriented standards. I wouldn't want to discount any of these.