The Integrity Constraints Screen

The second screen is the integrity constraints (IC) interface through which you may add sentences to, or remove sentences from, the entailment-based (EB) IC list and the consistency-based (CB) IC list.

To add an entailment-based integrity constraint (EB IC), you may:

• either type a sentence into the entry field and press the "Add Entailment-Based IC" button;
• or append to the list an input file of sentences, by selecting from the menu "File" -> "Append to Entailment-based IC";
• or replace the list with an input file of sentences, by selecting from the menu "File" -> "New Entailment-based IC...".

To add a consistency-based integrity constraint (CB IC), you may:

• either type a sentence into the entry field and press the "Add Consistency-Based IC" button;
• or append to the list an input file of sentences, by selecting from the menu "File" -> "Append to Consistency-based IC";
• or replace the list with an input file of sentences, by selecting from the menu "File" -> "New Consistency-based IC...".

If a sentence being added has a syntactic error, the applet will display a red error message above the entry field and will not add the sentence.
Also, if the default consistency check is on and a sentence being added is either inconsistent or mutually inconsistent with the list it is being added to, the applet will display a red error message above the entry field and will not add the sentence.

You may click the Default, CNF, and DNF buttons to view the sentences in a list in the default, CNF, and DNF format, respectively.

To remove an entailment-based integrity constraint (EB IC), click the IC you want to remove and press the x button in the lower right hand corner of the EB IC list.
To erase the entire EB IC list, press the broom button in the lower right hand corner of the EB IC list. A dialog box with options Erase and Cancel will ask you to confirm the erasure.

To remove a consistency-based integrity constraint (CB IC), click the IC you want to remove and press the x button in the lower right hand corner of the CB IC list.
To erase the entire CB IC list, press the broom button in the lower right hand corner of the CB IC list. A dialog box with options Erase and Cancel will ask you to confirm the erasure.