Copy
placeholder relation. X = 'subdivision of A' and subdivision_of some B means that X is the mereological sum of A and B
subdivision_of
