| sentence types |
| upon
opening the window |
The list-box
contains all un-derived sentence types (according to the
derivation graph) in order of derivation, i.e. the
topmost sentence type will be derived first. Derivation
status is shown as UNDERIVED. The leftmost
four-digit number is simply a derivation sequence
number. If the number is marked with an asterisk (*),
then the sentence type belongs to an external read-only
chain. The sentence type cannot be derived in those
cases.
If no sentence types are
listed, then all sentences in the KB are already
derived. |
| after
derivation has been started |
Sentence types
derived so far are shown as DERIVED with the
number of sentences derived and the derivation time on
the format HH:MM:SS. Sentence types under derivations is
shown as DERIVING. |
| the
order of sentence types |
The order of
the sentence type in the list is determined by the
derivation logic (i.e. the derivation graph). However,
there are usually several valid sequences, and Pro/3
attempts to order sentence types in the same group
together.
You can change
the order of derivation with the Move Up- and Move
Down-buttons. However, Pro/3 will not allow you make a
sequence which violates the derivation logic. |
|
| BUTTON |
DESCRIPTION |
| Set
STOP-point |
This
button is used set or reset STOP-points. Note that STOP-points
only be can be set at the first sentence type in a sentence
group, because all sentences in the same sentence group (in some
cases) must be derived together (those cases are where rules
with open entity type arguments are used). |
| Move
up |
Moves the
selected sentence type one step up (if permissible). |
| Move
down |
Moves the
selected sentence type one step down (if permissible). |
| |
|
| Start
derivation |
This
button is used to start the derivation process i.e. to derive
sentences type by type according to the sequence in the list.
The derivation will continue until a STOP-point is reached, or
until all sentence types have been derived. |
| Resume
derivation |
This
button is used to resume derivation of sentences (that is after
derivations have been halted at a STOP-point (there is no need
to reverse the current STOP-point). |
| End
derivation |
This
button is used to end the derivation after derivations have been
halted at a STOP-point. The windows will be closed. You can
re-start derivations later on by re-opening the window. |
| |
|
| Delete
all derived sentences |
Deletes
all derived sentences (and regenerates indexes and the
dependency graph). |
| Regenerate
indexes |
Regenerates
all indexes. |
| Regenerate
dependency graph |
Regenerates
dependency graph - all dependencies will be marked as
un-derived. |
| |
|
| Re-derive
all sentences |
Rebuilds
the dependency- (and derivation-) graphs, and re-derives all
sentences of all types. Full re-derivation ignores the sentence
type list displayed in the window (including eventual
STOP-points). |
| |
|
| Text
editor (print) |
This
button is used open an editor window with the current contents
of the sentence type list-box (the editor window is print-able). |