Assertion list
machine (primary) → UsedFor
Results from Ascent++: 3
machine → UsedFor → cleaning 0.55
machine → UsedFor → drilling 0.43
machine → UsedFor → maintenance 0.40