When the Quantifier Editor is first started it does not display any quantifier. The user must either type in the information of a quantifier or to open an existing quantifier. The opened quantifier can reside either in memory or in a file.
To open a Quantifier that is already in memory choose the menu item "From list".
To open a Quantifier that is in xml form in a file choose the menu item "From file". If you choose to load from a file a file navigator window will open where you can choose an xml file that contains quantifier representations. If one selects a file that does not contain a valid xml representation of a set of quantifiers an error message will be displayed and the operation will be aborted.
Once you have chosen to load Quantifiers from memory or from a valid xml file the following dialog will be displayed where you can choose which quantifier will be opened. If there is only one possible Quantifier to open it will be selected automatically and this dialog will not be displayed.