Assertion list
time nanny (subgroup of nanny ) → ReceivesAction
Results from Ascent++: 1
time nanny → ReceivesAction → paid 0.68