Copy
x develops from y if and only if either (a) x directly develops from y or (b) there exists some z such that x directly develops from z and z develops from y
This is the transitive form of the develops from relation
