ISL^FOL cardinal direction: t is behind u. Converse of front_of. Minted under the reopened converse-minting default (redesign_proposal.md §12), wired to front_of via rel_inverse_of.