Assertion list
sitting president (subgroup of president ) → HasProperty
Results from Ascent++: 1
sitting president → HasProperty → immune 0.72