Assertion list for term "written by the user".

Results from Ascent++: 1
logic ReceivesActionwritten by the user 0.25