ADD: Atom Binding Syntax
ADD: bind atom in atom