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