inf(p('Select All', 0),p('Copy to', 1)).
inf(p('Select All', 1),p('Copy to', 2)).
inf(p('Select All', 2),p('Copy to', 3)).
inf(p('Select All', 3),p('Copy to', 4)).
inf(p('Select All', 4),p('Copy to', 5)).
inf(p('Select All', 5),p('Copy to', 6)).
inf(p('Select All', 6),p('Copy to', 7)).