Assertion list for term "recorded by current recording avhdd".

Results from Ascent++: 1
stream ReceivesActionrecorded by current recording avhdd 0.25