RULE compatible_dimension

(* SCHEMA explicit_draughting; *)

  RULE compatible_dimension FOR 
    (cartesian_point,
    direction,
    representation_context,
    geometric_representation_context);
  WHERE
    WR1: 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;
    WR2: 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;
  END_RULE; -- compatible_dimension 

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:14:03-04:00