Ascent++
Search
Assertion list
work
(
aspect
of
crane
)
→ HasProperty
Results from
Ascent++
:
6
work
→
HasProperty
→
ongoing
0.42
work
→
HasProperty
→
noisy
0.34
work
→
HasProperty
→
continuous
0.25
work
→
HasProperty
→
demanding
0.25
work
→
HasProperty
→
louder
0.25
work
→
HasProperty
→
exceptional
0.16