Assertion list
desktop computer (subgroup of computer ) → AtLocation
Results from Ascent++: 1
desktop computer → AtLocation → subnet 0.30