Assertion list
tank (aspect of compressor ) → ReceivesAction
Results from Ascent++: 6
tank → ReceivesAction → drained 0.61
tank → ReceivesAction → filled 0.55
tank → ReceivesAction → designed 0.47
tank → ReceivesAction → available in several versions 0.41
tank → ReceivesAction → refilled 0.36
tank → ReceivesAction → pressurized 0.25