Assertion list
external hard drive (subgroup of hard drive ) → HasProperty
Results from Ascent++: 1
external hard drive → HasProperty → compatible 0.69