A set of specialists, connected to the core inference engine through an interface module, help the general inference routines to carry out special inferences quickly (e.g., type inference to conclude whether [Car1 Artifact] is true given that Car1 is a coupe and coupes are a type of car, cars are vehicles, and vehicles are artifacts).