Schema: Activity_as_realized_arm
SCHEMA Activity_as_realized_arm;
USE FROM
Activity_arm;
-- ISO/TS 10303-1047
ENTITY Activity_actual
SUBTYPE OF (Activity);
END_ENTITY;
ENTITY Activity_happening
SUBTYPE OF (Activity_relationship);
SELF\Activity_relationship.relating_activity RENAMED actual : Activity_actual;
SELF\Activity_relationship.related_activity RENAMED predicted : Activity;
WHERE
WR1: NOT ('ACTIVITY_AS_REALIZED.ACTIVITY_ACTUAL' IN TYPEOF(predicted));
END_ENTITY;
END_SCHEMA; -- Activity_as_realized_arm