Assertion list
mobile crane (subgroup of crane ) → ReceivesAction
Results from Ascent++: 1
mobile crane → ReceivesAction → manufactured in serial producti… 0.25