Assertion list
diary (aspect of frank ) → ReceivesAction
Results from Ascent++: 1
diary → ReceivesAction → written 0.25