zasmo'isro lujvo

s1 is temporary memory for fact(s) s2=m2 in containment s3.