Lets be clear.... A GOOD REF enforces the rules. When choking is involved he should enforce the penalty and award points accordingly as they were scored. The only time a ref should continue to look for the pin is if the athlete is clearly making noises with restriction to the throat area. Refs are not GODS and therefore cannot determine intent. Choking is choking and is not necessary skill to achieve a pin.