Assertion list
tail (aspect of kite ) → ReceivesAction
Results from Ascent++: 1
tail → ReceivesAction → attached to the kite 0.25