mitmlu lujvo

s1=m1 seems to be the same as m2 by standard m3 to observer s3 under conditions s4.

Cf. simlu, mitmlu.

In notes:

simlu
x1 seems/appears to have property(ies) x2 to observer x3 under conditions x4.