Assertion list
dog kennel (subgroup of kennel ) → ReceivesAction
Results from Ascent++: 1
dog kennel → ReceivesAction → built 0.84