diameter aspect of pipe, 7 assertions
HasProperty 3
small 0.59
possible 0.36
equal 0.25
ReceivesAction 4
reduced 0.36
offered for inspection 0.25
adjusted 0.25
increased 0.25