Assertion list
modem (primary) → AtLocation

Results from Ascent++: 2
modemAtLocation communication 0.37
modemAtLocation the basement 0.19