Such a situation can arise when a model is well-formed and hence locally consistent but at the same time violates an inter-language constraint.
Таква ситуација може да наиђе када је модел добро формиран и самим тим локално константан али у исто време крши унутрашња језичка ограничења.