Assertion list
arch (primary) → Causes
Results from Ascent++: 2
arch → Causes → excessive stress 0.19
arch → Causes → pressure 0.19