Converse of is_interior_part_of (RCC-8 NTPP). t has_interior_part u: u is a proper part of t that does not touch t's boundary. Minted under the reopened converse-minting default (redesign_proposal.md §12), wired to is_interior_part_of via rel_inverse_of.