Assertion list
layer (aspect of artery ) → HasProperty
Results from Ascent++: 2
layer → HasProperty → thinner 0.68
layer → HasProperty → thicker 0.25