Class(NetworkedHost partial Host restriction(residesOn someValuesFrom(Network))) DisjointClasses(NetworkedHost UnconnectedHost)