use correct size
part-of typechecking: match integral_part_of relationships