Class(sec:Hardware partial restriction(sec:containsTechnology someValuesFrom(sec:Data)) sec:Technology restriction(sec:residesOn someValuesFrom(sec:Host)))