Power_set

ENTITY Power_set;
id : STRING;
name : STRING;
description : OPTIONAL STRING;
base : Class;
derived : Class;
END_ENTITY; -- Power_set

Power_set
id: STRING;
name: STRING;
(OPT) description: STRING;
base: Class;
derived: Class;