Class(HostOnWirelessNetwork partial restriction(residesOn allValuesFrom(WirelessNetwork)) NetworkedHost restriction(residesOn someValuesFrom(WirelessNetwork)))