The following constraints show a stringency relationship -- not necessarily a logical one, but in the data given.

Id(ATR)	 has a strict subset of the violations of 	Id(hi) - +

