instruct translat local action sequenc contract 