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

*P	 has a strict subset of the violations of 	*A

