% Each node is a metabolite
% the hypothesis should record the Metabolite

% The input is a list of candidateH0(18,31,[[rs-{'11099',enzymeLimiting,cataDecreased,'CNR_E'}],[rs-{'11617',substrateLimiting,sUP,'CNR_E'}]]).


************ As noticed on the notes, the tree based on real-network doesn't keep the property of prefix-tree.




l:- assertOneTheory(EI-TI).

	

assertOneHypothesizedTheory(EI-TI):-
	candidateH0(EI,TI,OneTheory),
	checklist(assertOneHypothesizedCla,OneTheory). % nothing to be passed.