single-arg term parser; tools; bel term tests