Class(sec:StationaryData partial restriction(sec:residesOn someValuesFrom(sec:Host)) restriction(sec:residesOn allValuesFrom(sec:Host)) sec:Data)