Assertion list
mri scan (subgroup of scan ) → HasProperty
Results from Ascent++: 3
mri scan → HasProperty → complete 0.40
mri scan → HasProperty → painless 0.38
mri scan → HasProperty → safe 0.16