Assertion list
device (primary) → UsedFor
Results from Ascent++: 2
device → UsedFor → business 0.55
device → UsedFor → communication 0.52