inf(p('Close', 0),p('Open', 1)).
inf(p('Open', 0),p('Open', 1)).
inf(p('Open', 0),p('Save', 1)).
inf(p('Save', 0),p('Save', 1)).
inf(p('Save as', 0),p('Save', 1)).
inf(p('Insert image', 0),p('Close', 1)).
inf(p('Undo', 0),p('Close', 1)).
inf(p('Redo', 0),p('Close', 1)).
inf(p('Open', 1),p('Open', 2)).
inf(p('Open', 1),p('Save', 2)).
inf(p('Save', 1),p('Save', 2)).
inf(p('Save as', 1),p('Save', 2)).
inf(p('Save', 1),p('Save', 3)).
inf(p('Save', 1),p('Draw a line', 4)).
inf(p('Save', 1),p('Redo', 5)).
inf(p('Open', 2),p('Open', 3)).
inf(p('Open', 2),p('Save', 3)).
inf(p('Save', 2),p('Save', 3)).
inf(p('Save as', 2),p('Save', 3)).
inf(p('Open', 3),p('Open', 4)).
inf(p('Open', 3),p('Save', 4)).
inf(p('Save', 3),p('Save', 4)).
inf(p('Save as', 3),p('Save', 4)).
inf(p('Save as', 3),p('Save', 5)).
inf(p('Open', 4),p('Open', 5)).
inf(p('Open', 4),p('Save', 5)).
inf(p('Save', 4),p('Save', 5)).
inf(p('Save as', 4),p('Save', 5)).
inf(p('Open', 5),p('Open', 6)).
inf(p('Open', 5),p('Save', 6)).
inf(p('Save', 5),p('Save', 6)).
inf(p('Save as', 5),p('Save', 6)).
inf(p('Open', 6),p('Open', 7)).
inf(p('Open', 6),p('Save', 7)).
inf(p('Save', 6),p('Save', 7)).
inf(p('Save as', 6),p('Save', 7)).
inf(p('Open', 7),p('Save', 8)).
inf(p('Save', 7),p('Save', 8)).
inf(p('Save as', 7),p('Save', 8)).
inf(p('Open', 8),p('Save', 9)).
inf(p('Save', 8),p('Save', 9)).
inf(p('Save as', 8),p('Save', 9)).