Model ::= RobotArm ZoneModel ; ZoneModel ::= SafetyZone:Zone* ; Zone ::= Coordinate* ; RobotArm ::= Link* EndEffector // ; Link ::= ; EndEffector : Link; Coordinate ::= ;