Assertion list for term "placed at right part of the case".

Results from Ascent++: 1
push button ReceivesActionplaced at right part of the case 0.25