Integration of semantic constraints · Study