Find!
x1=g1 simulates universe x2=m1, testing property x3=c2 in subject x4=c3
x3 could be "tu'a (the simulated entities)".