|
|
WRRC1
|
:
|
(* ensure that the count of coordinates of each cartesian_point
matches the coordinate_space_dimension of each geometric_context in
which it is geometrically_founded *)
SIZEOF(QUERY(x <* cartesian_point| SIZEOF(QUERY
(y <* geometric_representation_context | item_in_context(x,y) AND
(HIINDEX(x.coordinates) <> y.coordinate_space_dimension))) > 0 )) =0;
|
WRRC2
|
:
|
(* ensure that the count of direction_ratios of each direction
matches the coordinate_space_dimension of each geometric_context in
which it is geometrically_founded *)
SIZEOF(QUERY(x <* direction | SIZEOF( QUERY
(y <* geometric_representation_context | item_in_context(x,y) AND
(HIINDEX(x.direction_ratios) <> y.coordinate_space_dimension)))
> 0 )) = 0;
|
|
|