The core schema theories (given in the Math Data Description Language MDDL) for the symmetric objects data collection