rel_stat	OBO_REL:results_in_complete_development_of	35	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_formation_of	28	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_specification_of	1	NO_DEF
rel_stat	OBO_REL:unfolds_in	16	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	part_of	5	NO_DEF
rel_stat	results_in_increased_length_of	2	NO_REL