ST_BooleanPropertyTYPE ST_BooleanProperty EXTENDS ST_OcaProperty :STRUCT bVal: BOOL := FALSE;END_STRUCTEND_TYPE