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