Property information
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
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