Find!
x1=n1=m1 is to-do / needs completion in property x2=n2=m2 by judge / standard x4=m3 for purpose / state x5=n3; x1 is TODO.