Assertion list
hard disk drive (subgroup of hard drive ) → HasPrerequisite
Results from Ascent++: 1
hard disk drive → HasPrerequisite → certain range of air pressures 0.25