translate formal defination of ad-hoc command