Converse of is_tangential_part_of (RCC-8 TPP composite). t has_tangential_part u: u is a proper part of t that also touches t's boundary. Minted under the reopened converse-minting default (redesign_proposal.md §12), wired to is_tangential_part_of via rel_inverse_of.