Assertion list
head (aspect of ladybug ) → ReceivesAction
Results from Ascent++: 2
head → ReceivesAction → hidden 0.68
head → ReceivesAction → covered by hood 0.25