Assertion list
leg (aspect of tortoise ) → ReceivesAction

Results from Ascent++: 1
legReceivesAction bent 0.42