diff --git a/examples/SUMO/Mondial.gf b/examples/SUMO/Mondial.gf
index da580f3f1..612f53fb8 100644
--- a/examples/SUMO/Mondial.gf
+++ b/examples/SUMO/Mondial.gf
@@ -10683,6 +10683,7 @@ abstract Mondial = MidLevelOntology, Geography, Government ** {
   fun Portugal : Ind (both Country EuropeanNation);
 
   fun Province : Class ;
+  fun Province_Class : SubClass Province StateOrProvince ;
 
   fun Qatar : Ind (both Country Nation);