Connectives are the means by which simple propositions are compounded to make more complicated
ones. In classical logic, this compounding is accomplished by use of standard connectives such as
& (AND) and 
(OR). A number of disadvantages exist in using standard connectives in SNePS,
primarily because of their binary nature and the size of the network
needed to store representations with standard connectives. To avoid
these problems, SNePS uses non-standard connectives. These
non-standard connectives are as adequate as standard connectives, but
they take arbitrarily large sets of arguments and express common modes
of human reason simply. The non-standard connectives are:
and-entailment, or-entailment, numerical entailment, andor, thresh,
non-derivable, and default. An explanation of each connective
follows.