Context Specifiers

In a number of commands described in this chapter, part of the syntax is context-specifier , and the semantics mentions the context specified by context-specifier. In every such case, the possible syntax of context-specifier, and what context is specified by each possibility is:

omit

If the context-specifier is omitted, the specified context is the default context (the value of *defaultct ).

:context 

The context specified is the default context (the value of *defaultct).

:context context-name

The context specified is that named context-name, which must be a symbol.

:context nodeset context-name

The context specified is that named context-name, which is initialized to be the context whose set of hypotheses is the value of nodeset, which must be a SNePSUL expression that evaluates to a set of proposition nodes.

:context all-hyps 

The context specified is the one whose set of hypotheses is the set of all hypotheses--all assertions entered by the user.