OR-Parallel Speedups in a Knowledge Based System: on Muse and Aurora.