detect an inconsistency in {HEAD ~ data} accepted into {TAIL ~ the system} with a rule from the third set of rules 
accepted into
detect an inconsistency in { HEAD ~ data } accepted into { TAIL ~ the system } with a rule from the third set of rules
OTH OTH OTH OTH HEAD HEAD HEAD HEAD HEAD REL REL TAIL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH OTH OTH OTH OTH OTH