part_of
part of
develops from
directly develops from
develops from part of
x develops from part of y if and only if there exists some z such that x develops from z and z is part of y