||COBAApplet is the COBA belief change graphical user interface.
||ControlText is a panel with the current settings display and toggle buttons, an informative message in the event
of a syntax or inconsistency error in the input, or a new KB in the preview list, and a button for executing
a belief change scenario.
||HistoryPanel is a panel displaying (1) the old KB and change snapshots, (2) the old Entailment-based Integrity
Constraint (EB IC) and change snapshots, and (3) old Consistency-based Integrity Constraint (CB IC) and change
snapshots, as well as buttons for reverting to a selected snapshot.
||ICPanel is a panel that contains an entry field for adding integrity constraints, and two lists: one for the
entailment-based integrity constraints (EB IC), and the other for the consistency-based integrity constraints (CB IC).
||ListSent is a sentence wrapper.
||MainPanel is the main belief change interface of the COBA applet.
||PreviewList is a panel with the new KB preview list, a reject button and a commit button for rejecting or committing
the new KB.
||SentenceEditor is a panel with an entry field and buttons for adding sentences to the KB list, the revision list,
and the contraction list.
||SentenceList is a general wrapper for the KB/Revision/Contraction/Entailment-based Integrity Constraint (EB IC)/
Consistency-based Integrity Constraint (CB IC) sentence list.