Class(sec:Network partial restriction(sec:containsTechnology someValuesFrom(sec:Host)) sec:Technology)