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