Assertion list
work (aspect of crane ) → HasProperty

Results from Ascent++: 6
workHasProperty ongoing 0.42
workHasProperty noisy 0.34
workHasProperty continuous 0.25
workHasProperty demanding 0.25
workHasProperty louder 0.25
workHasProperty exceptional 0.16