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