In addition one could associate one or more axioms that defines how the ingredient relates to other ingredients.
+
In addition one could associate one or more axioms that defines how the ingredient relates to other ingredients. With the right axioms it is possible to define ingredient classes that are disjoint and unique.