Assertion list
tongue (aspect of monitor ) → ReceivesAction
Results from Ascent++: 1
tongue → ReceivesAction → forked 0.68