recognizing simple bel statements