Assertion list
saline implant (subgroup of implant ) → HasA

Results from Ascent++: 1
saline implantHasA valve 0.30