Assertion list
diameter (aspect of pipe ) → ReceivesAction

Results from Ascent++: 4
diameterReceivesAction reduced 0.36
diameterReceivesAction adjusted 0.25
diameterReceivesAction increased 0.25
diameterReceivesAction offered for inspection 0.25