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