Assertion list
fog machine (subgroup of machine ) → ReceivesAction
Results from Ascent++: 1
fog machine → ReceivesAction → cleaned 0.70