ISL^FOL cardinal direction: t is to the left of u. Converse of right (redesign_proposal.md §12), wired via rel_inverse_of.