Copy
a is attached to part of b if a is attached to b, or a is attached to some p, where p is part of b.
attaches_to_part_of
