IReadOnlyList<Property> ThermalResult.Properties { get; }