RCC-8 TPP: a proper part that also touches the whole's boundary. A named composite (Test 6), not a primitive ? expands to has_proper_part ? has_common_boundary via rel_expands_to (redesign_proposal.md §6, §10.1).