IReadOnlyList<Property> Criterion.Properties { get; }