...

• Starting on the next line after @CLASSES : a list of class names is provided. These should be the complete names as can be found in the Class list in the Knowledge Browser. The list should be closed by <span class='marin_syntax'>@ENDCLASSES<><a href=/display/QUAESTOR/@ENDCLASSES> @ENDCLASSES </a></span>.

Remarks

 This attribute allows you to provide a list of classes in which sub goals should be present. If a required sub goal is not present in either one of the classes in the list, it will be considered by the Modeler as (database) input.

...