rdfs:comment Concrete model property claim (CMPC), i.e., a, model property claim that is immediately also applied, to the corresponding property of a real physical system @en
rdfs:comment Abstract model property claim (CMPC), i.e., a, model property claim that is not immediately applied, to the corresponding property of a real physical system @en