Applying formal methods 4.

• dance element instances and composed schemas