The following four axioms assert that the colors of objects don't change when objects are moved or when other objects are painted and that objects don't change where they are at when other objects are moved or when any objects are painted.
Writing frame axioms this way means that if there are m properties and n actions (or events) mn frame axioms are required. By introducing frames as objects, this can be reduced to m axioms. In a practical system, this would be needed.