ISL^FOL cardinal direction: t is in front of u. Converse of behind (redesign_proposal.md §12), wired via rel_inverse_of.