Assertion list
conveyor belt (primary) → HasA
Results from Ascent++: 3
conveyor belt → HasA → different roles 0.36
conveyor belt → HasA → a strength class 0.25
conveyor belt → HasA → higher stability 0.24