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