≺(A)

{RQ-a
xm{w`

{RQ-b
xm{w`
k01Nx^sl

{UV-a
xm{w`
`xmRV̓