Assertion list for term "a phase change cover".
Results from Ascent++: 1
mattress → HasA → a phase change cover 0.20