abstract syntax