Assertion: polyhedron's edge | /r/HasProperty | closer to tangency
Facets:
value: at the next iteration
type: TEMPORAL
Source sentences:
text: If not, a small fraction of x is added to the two vertices which define the edge, (in proportion to the sign and amount of the error) so that at the next iteration the edge will be closer to tangency with the unit circle.