added semantic constraints file