Find!
x1=n1=k5 is the priority of x2=v1=k2 among x3=k3 in aspect x4=k4 to x5=v3=k1 for reason x6=v4; x2 is a priority / prioritized.