The Actions menu contains operations for editing and selecting quantifiers and computing four-fold tables.
To select which quantifiers to use or manipulate the set of available Quantifiers choose the menu item Select quantifiers from the Actions menu. This will open a Quantifiers frame.
To create and edit quantifiers select the Edit/Create quantifiers menu item. This will open the Quantifier Editor window.
To compute four-fold tables and evaluate selected quantifiers for all possible phi and psi formula combinations that can be created from the selected phi and psi formulas select the menu item Create four-fold tables. The four-fold tables will be computed. All selected quantifiers will also be evaluated for these tables and the results can be viewed in the result panel located on the right side of the GUHA Analysis window.
It is also possible to specify a group of phi and psi formulas to be combined to create the four-fold tables. To compute results for only a sub set of the available formulas check the check-boxes of the desired phi and psi formulas. Then select the menu item Create four-fold tables for subset selection. All formulas whose check-boxes have not been checked will now be ignored. All possible phi and psi formula pairs will be created from those formulas whose check-boxes have been checked and the results will be displayed replacing any older computation results.