. . "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" . . "Chris Mungall"@en . . "develops from"@en . . "Terry Meehan"@en . . "This is the transitive form of the develops from relation" . "David Osumi-Sutherland"@en . . "Melissa Haendel" .