Douglas Lenat - Rule Macro Predicates for Speed (via searchlore.ai)