RULE dependent_instantiable_contract_type

(* SCHEMA step_ship_schema; *)

-- ONLY IN AP203
RULE dependent_instantiable_contract_type FOR (contract_type);
  WHERE
    wr1: (SIZEOF(QUERY ( ct <* contract_type | (NOT (SIZEOF(USEDIN(ct,''))
             >= 1)) )) = 0);
END_RULE;

[Top Level Definitions] [Exit]

Generated by STEP Tools^TM EXPRESS to HTML Converter
on 2007-09-24T12:42:21-04:00