SCHEMA Maths_space_arm;
USE FROM
Maths_value_arm;
-- ISO/TS 10303-1092
TYPE maths_value_including_maths_space =
EXTENSIBLE
SELECT
BASED_ON
maths_value
WITH
(Maths_space);
END_TYPE;
ENTITY Maths_space;
END_ENTITY;
END_SCHEMA; -- Maths_space_arm