A hierarchical taxonomy for classifying hardness of inference tasks