Assertion list
cylinder (aspect of compressor ) → HasA
Results from Ascent++: 1
cylinder → HasA → a heat regenerator 0.25