Class(sec:OperatingSystem partial sec:Product restriction(sec:containsControl someValuesFrom(sec:FileAccessControl)))