[ Daim ntawv qhia ] ntawm: [ Lub Hom Phiaj ]

☞ x ≔ Daim ntawv qhia tshiab.
x muab: ‘a’ rau: ‘b’.
x muab: ‘xxx’ rau: ‘yyy’.
✎ sau ntawv: (x ntawm: ‘b’), tsum.
✎ sau ntawv: (x yyy), tsum.
✎ sau ntawv: (x ? ‘b’), tsum.
a
xxx
a