Assertion: annealing's temperature | /r/HasProperty | k+1
Facets:
Source sentences:
text: For k = 0 through k max (exclusive): T ← temperature( (k+1)