Assertion: ellipsoid | /r/HasProperty | epsilon].sub.i
Facets:
value: j
type: LOCATION
Source sentences:
text: A sequence of states [x.sub.i], i [member of] {1, 2, ..., N} should be chosen such that for each j, the ellipsoids [[epsilon].sub.i,j], [for all]i [not equal to] N obtained are nested ([[epsilon].sub.i+1,j] [subset] [[epsilon].sub.i,j], [Q.sub.i+1,j] < [Q.sub.i,j]).