Translate and assemble boolean atoms