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

*A	 has a strict subset of the violations of 	Id-IO(ATR)

