equasym bnf