rel_stat OBO_REL:results_in_complete_development_of 37 A relation between a process type P and a continuant type C, such that any instance of Pp has as outcome the progression of an instance of Cc, from the formation of c to the maturation of c rel_stat OBO_REL:results_in_connection_of 1 P results_in_connection_of C1, P results_in_connection_of C2 : forall pP, at the end of p, there is some c1, c2 such that c1C1 and c2C2 and c1 connected_to c2, and c1 not connected_to c2 at the end of p rel_stat OBO_REL:results_in_developmental_progression_of 1 P results_in_developmental_progression_of C : any instance of P spans part of the development of some C. Formally: forall pP, p part_of some P', and P' results_in_complete_development_of C rel_stat OBO_REL:results_in_formation_of 16 P results_in_formation_of C : any instance of P gives rise to a C from the parts of C. Formally: forall pP, exists some c such that c instantiates C at end-of p, and c has some parts c1, c2, ... such that the parts are connected at the end-of p and disconected at the start-of p rel_stat OBO_REL:results_in_morphogenesis_of 18 NO_DEF rel_stat OBO_REL:results_in_specification_of 2 NO_DEF rel_stat OBO_REL:unfolds_in 21 P unfolds_in C : the execution of P is spatially contained by C. forall pP, forall c' partipates_in p, c' located_in C at t, for some t in P rel_stat results_in_increased_length_of 1 NO_REL