Unary operator largely complete. Recursively encapsulates a FactNode in a UnaryFactNode if it is prefixed by '-'.
Unary operator largely complete. Recursively encapsulates a FactNode in a UnaryFactNode if it is prefixed by '-'.