Assertion list
original tenant (subgroup of tenant ) → HasA
Results from Ascent++: 1
original tenant → HasA → further liability 0.30