diff --git a/src/ontologies/CC_2022_R1/Common_Criteria_Terms.thy b/src/ontologies/CC_2022_R1/Common_Criteria_Terms.thy
index dd7d008..431aaac 100644
--- a/src/ontologies/CC_2022_R1/Common_Criteria_Terms.thy
+++ b/src/ontologies/CC_2022_R1/Common_Criteria_Terms.thy
@@ -15,6 +15,7 @@ type_synonym sfc = semi_formal_content
 
 doc_class cc_term = semi_formal_content + 
       mcc          :: math_content_class <= "terminology"
+      level        :: "int option" <= "Some 1"
 
 type_synonym common_criteria_term = cc_term