Assertion list
main office (subgroup of office ) → HasA
Results from Ascent++: 2
main office → HasA → two domain controllers 0.57
main office → HasA → a file server 0.25