cipmujgau lujvo

x1=g1 simulates universe x2=m1, testing property x3=c2 in subject x4=c3

x3 could be "tu'a (the simulated entities)".