nu'orkai lujvo

x1 can satisfy x2 (ka), but has not yet done so.