Assertion list for term "installed in relaxedmode".

Results from Ascent++: 1
stud ReceivesActioninstalled in relaxedmode 0.36