Where used: State Model

## inState / ofObject

Read First: State
Gives the states of an object, either partial or complete. The
cardinality on the State end has a maximum Many, because an object can
have many partial states.
Since a tuples can span many objects, we make a state be the state of
many objects. The current model, with cardinality of exactly one on the
object side, was chosen for simplicity. It is assumed that a state of
many objects can be modelled as the state of one "aggregate" object.