Clauses that can be automatically enforced by the coalition infrastructure (specifically, the protocol CorDapp) or by CoApps (specifically, by the CoApp brokers and aggregators) are recorded as machine-readable states modelled as a labelled tree of typed scalar values (roughly equivalent to what is possible to represent in JSON). This data model caters for a broad range of scenarios, allowing on one hand the capture of simple parameters in the form of key-value pairs, and, on the other hand, the representation of complex nested formulas for fee allocation. In the latter case, mathematical operations of a formula are represented as the labels of the tree nodes (e.g. “+”, “=”, “for each”, “no one”), while leaves either contain constant values or refering to known variables that are used in a calculation. Clauses that could not be automatically enforced are recorded in a textual form.