Assertion list
pet scan (subgroup of scan ) → HasProperty
Results from Ascent++: 2
pet scan → HasProperty → negative 0.16
pet scan → HasProperty → new 0.16