Assertion list
dog crate (subgroup of crate ) → ReceivesAction
Results from Ascent++: 1
dog crate → ReceivesAction → equipped with every feature 0.25