set except set set truth model meta type model element 