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

Head(p)	 has a strict subset of the violations of 	*A-Span(F)

