IReadOnlyList<Property> Objective.Properties { get; }