Added names to all subsumption requests for debugging/visualisation purposes