The Simplifier is a part of the Canonicalization Subsystem that performs very fast, mostly syntactic simplification of CycL sentences.
The Simplifier is a part of the Canonicalization Subsystem that performs very fast, mostly syntactic simplification of CycL sentences.