smuske lujvo

sa1 is semantics with methodology sa3.

In notes:

mitsmuvla
v1=m1 is a synonym of m2 by standard m3 in language v3.