Assertion list
damaged cornea (subgroup of cornea ) → ReceivesAction
Results from Ascent++: 1
damaged cornea → ReceivesAction → replaced by the cornea 0.25