BNF update

Added BNF forms (ATM machines...) for the first 3 sentence structures in
JP, for sentence generation later.