reaction_state(RID,LimitingType,HypothesizedState,Time):-
	((catalyzed_by_ECclass(RID,EC_Number),concentration_e(EC_Number,GEChange,Degree,Time))-> 
		LimitingType=enzymeLimiting,proportional(HypothesizedState,GEChange);
		(LimitingType=substrateLimiting;LimitingType=enzymeLimiting,HypothesizedState=cataNoChange)))).