This format defines a model as a list of activating and inhibiting conditions of its components.
- The conditions use the & operator for AND, and ^ for NOT
- Activations are defined as: condition -> target
- Inhibitions are defined as: condition -| target
- The complete function will be: (activation1 OR activation2) & !(inhibition1 OR inhibition2)
A&^C -> A A&C -| B B -> B ^A -> C