Class SubsumesFunction