Assertion list
prosthesis (primary) → AtLocation

Results from Ascent++: 1
prosthesisAtLocation relaxed state 0.25