Assertion list
branch office (subgroup of office ) → HasA
Results from Ascent++: 1
branch office → HasA → two domain controllers 0.25