bad syntax in triang6 clause