What is a “spindle” in Cycorp terminology?
A spindle is where you have many microtheories that all genl up to one microtheory. Below them all you have a query microtheory that can ‘look up’ and ‘see’ the entire spindle. This query microtheory is the bottom of the spindle and is empty, but it can ‘see’ everything above it, so it a good place to try to do a proof. Microtheories with names that end in “-PSC” are usually at the base of a spindle (PSC stands for Problem Solving Context). So the knowledge of which queries to ask resides in either a different microtheory or in the application which uses OpenCyc.
