力論煌SubtypeSupertypeSubtype-5An incompleteA completepartitionparitionIndicates thetSubtype-1stances叶器4 starvessupertype carof supertypebe instancesSuttype-2stances ofof subrype-4itherSU加ype5rnethersubtype-f orsubtype2u论e3Notation tor semantic statementsa short semanticsateenaped扣a卹eA short semanticstatement appliedto a mapping[singleton]Type-AType-BA long semanticstatement appliedto a type.Constraintsome restriction on力論煌力論煌力論煌力論煌力論煌韵力論檀韵力a論湟