inf(p('Physical Syle', 0),p('Cloud Color', 1)).
inf(p('Font Syle', 0),p('Cloud Color', 1)).
inf(p('Font Size', 0),p('Cloud Color', 1)).
inf(p('Fork', 0),p('Cloud Color', 1)).
inf(p('Bubble', 0),p('Cloud Color', 1)).
inf(p('Large Font', 0),p('Cloud Color', 1)).
inf(p('Smaller Font', 0),p('Cloud Color', 1)).
inf(p('Italic', 0),p('Cloud Color', 1)).
inf(p('Bold', 0),p('Cloud Color', 1)).
inf(p('Node Color', 0),p('Cloud Color', 1)).
inf(p('Blend Color', 0),p('Cloud Color', 1)).
inf(p('Node Background Color', 0),p('Cloud Color', 1)).
inf(p('Remove Node Background Color', 0),p('Cloud Color', 1)).
inf(p('Reset Position', 0),p('Cloud Color', 1)).
inf(p('Cloud Color', 0),p('Physical Syle', 1)).
inf(p('Cloud Color', 0),p('Font Syle', 1)).
inf(p('Cloud Color', 0),p('Font Size', 1)).
inf(p('Cloud Color', 0),p('Fork', 1)).
inf(p('Cloud Color', 0),p('Bubble', 1)).
inf(p('Cloud Color', 0),p('Large Font', 1)).
inf(p('Cloud Color', 0),p('Smaller Font', 1)).
inf(p('Cloud Color', 0),p('Italic', 1)).
inf(p('Cloud Color', 0),p('Bold', 1)).
inf(p('Cloud Color', 0),p('Node Color', 1)).
inf(p('Cloud Color', 0),p('Blend Color', 1)).
inf(p('Cloud Color', 0),p('Node Background Color', 1)).
inf(p('Cloud Color', 0),p('Remove Node Background Color', 1)).
inf(p('Cloud Color', 0),p('Reset Position', 1)).
inf(p('Cloud Color', 0),p('Cloud Color', 1)).
inf(p('Cloud Color', 0),p('Edge Color', 1)).
inf(p('Cloud Color', 0),p('Edge Style', 1)).
inf(p('Cloud Color', 0),p('Edge Width', 1)).
inf(p('Edge Color', 0),p('Cloud Color', 1)).
inf(p('Edge Style', 0),p('Cloud Color', 1)).
inf(p('Edge Width', 0),p('Cloud Color', 1)).
inf(p('Physical Syle', 0),p('Cloud Color', 2)).
inf(p('Font Syle', 0),p('Cloud Color', 2)).
inf(p('Font Size', 0),p('Cloud Color', 2)).
inf(p('Fork', 0),p('Cloud Color', 2)).
inf(p('Bubble', 0),p('Cloud Color', 2)).
inf(p('Large Font', 0),p('Cloud Color', 2)).
inf(p('Smaller Font', 0),p('Cloud Color', 2)).
inf(p('Italic', 0),p('Cloud Color', 2)).
inf(p('Bold', 0),p('Cloud Color', 2)).
inf(p('Node Color', 0),p('Cloud Color', 2)).
inf(p('Blend Color', 0),p('Cloud Color', 2)).
inf(p('Node Background Color', 0),p('Cloud Color', 2)).
inf(p('Remove Node Background Color', 0),p('Cloud Color', 2)).
inf(p('Reset Position', 0),p('Cloud Color', 2)).
inf(p('Cloud Color', 0),p('Physical Syle', 2)).
inf(p('Cloud Color', 0),p('Font Syle', 2)).
inf(p('Cloud Color', 0),p('Font Size', 2)).
inf(p('Cloud Color', 0),p('Fork', 2)).
inf(p('Cloud Color', 0),p('Bubble', 2)).
inf(p('Cloud Color', 0),p('Large Font', 2)).
inf(p('Cloud Color', 0),p('Smaller Font', 2)).
inf(p('Cloud Color', 0),p('Italic', 2)).
inf(p('Cloud Color', 0),p('Bold', 2)).
inf(p('Cloud Color', 0),p('Node Color', 2)).
inf(p('Cloud Color', 0),p('Blend Color', 2)).
inf(p('Cloud Color', 0),p('Node Background Color', 2)).
inf(p('Cloud Color', 0),p('Remove Node Background Color', 2)).
inf(p('Cloud Color', 0),p('Reset Position', 2)).
inf(p('Cloud Color', 0),p('Cloud Color', 2)).
inf(p('Cloud Color', 0),p('Edge Color', 2)).
inf(p('Cloud Color', 0),p('Edge Style', 2)).
inf(p('Cloud Color', 0),p('Edge Width', 2)).
inf(p('Edge Color', 0),p('Cloud Color', 2)).
inf(p('Edge Style', 0),p('Cloud Color', 2)).
inf(p('Edge Width', 0),p('Cloud Color', 2)).
inf(p('Physical Syle', 0),p('Cloud Color', 3)).
inf(p('Font Syle', 0),p('Cloud Color', 3)).
inf(p('Font Size', 0),p('Cloud Color', 3)).
inf(p('Fork', 0),p('Cloud Color', 3)).
inf(p('Bubble', 0),p('Cloud Color', 3)).
inf(p('Large Font', 0),p('Cloud Color', 3)).
inf(p('Smaller Font', 0),p('Cloud Color', 3)).
inf(p('Italic', 0),p('Cloud Color', 3)).
inf(p('Bold', 0),p('Cloud Color', 3)).
inf(p('Node Color', 0),p('Cloud Color', 3)).
inf(p('Blend Color', 0),p('Cloud Color', 3)).
inf(p('Node Background Color', 0),p('Cloud Color', 3)).
inf(p('Remove Node Background Color', 0),p('Cloud Color', 3)).
inf(p('Reset Position', 0),p('Cloud Color', 3)).
inf(p('Cloud Color', 0),p('Physical Syle', 3)).
inf(p('Cloud Color', 0),p('Font Syle', 3)).
inf(p('Cloud Color', 0),p('Font Size', 3)).
inf(p('Cloud Color', 0),p('Fork', 3)).
inf(p('Cloud Color', 0),p('Bubble', 3)).
inf(p('Cloud Color', 0),p('Large Font', 3)).
inf(p('Cloud Color', 0),p('Smaller Font', 3)).
inf(p('Cloud Color', 0),p('Italic', 3)).
inf(p('Cloud Color', 0),p('Bold', 3)).
inf(p('Cloud Color', 0),p('Node Color', 3)).
inf(p('Cloud Color', 0),p('Blend Color', 3)).
inf(p('Cloud Color', 0),p('Node Background Color', 3)).
inf(p('Cloud Color', 0),p('Remove Node Background Color', 3)).
inf(p('Cloud Color', 0),p('Reset Position', 3)).
inf(p('Cloud Color', 0),p('Cloud Color', 3)).
inf(p('Cloud Color', 0),p('Edge Color', 3)).
inf(p('Cloud Color', 0),p('Edge Style', 3)).
inf(p('Cloud Color', 0),p('Edge Width', 3)).
inf(p('Edge Color', 0),p('Cloud Color', 3)).
inf(p('Edge Style', 0),p('Cloud Color', 3)).
inf(p('Edge Width', 0),p('Cloud Color', 3)).
inf(p('Physical Syle', 0),p('Cloud Color', 4)).
inf(p('Font Syle', 0),p('Cloud Color', 4)).
inf(p('Font Size', 0),p('Cloud Color', 4)).
inf(p('Fork', 0),p('Cloud Color', 4)).
inf(p('Bubble', 0),p('Cloud Color', 4)).
inf(p('Large Font', 0),p('Cloud Color', 4)).
inf(p('Smaller Font', 0),p('Cloud Color', 4)).
inf(p('Italic', 0),p('Cloud Color', 4)).
inf(p('Bold', 0),p('Cloud Color', 4)).
inf(p('Node Color', 0),p('Cloud Color', 4)).
inf(p('Blend Color', 0),p('Cloud Color', 4)).
inf(p('Node Background Color', 0),p('Cloud Color', 4)).
inf(p('Remove Node Background Color', 0),p('Cloud Color', 4)).
inf(p('Reset Position', 0),p('Cloud Color', 4)).
inf(p('Cloud Color', 0),p('Physical Syle', 4)).
inf(p('Cloud Color', 0),p('Font Syle', 4)).
inf(p('Cloud Color', 0),p('Font Size', 4)).
inf(p('Cloud Color', 0),p('Fork', 4)).
inf(p('Cloud Color', 0),p('Bubble', 4)).
inf(p('Cloud Color', 0),p('Large Font', 4)).
inf(p('Cloud Color', 0),p('Smaller Font', 4)).
inf(p('Cloud Color', 0),p('Italic', 4)).
inf(p('Cloud Color', 0),p('Bold', 4)).
inf(p('Cloud Color', 0),p('Node Color', 4)).
inf(p('Cloud Color', 0),p('Blend Color', 4)).
inf(p('Cloud Color', 0),p('Node Background Color', 4)).
inf(p('Cloud Color', 0),p('Remove Node Background Color', 4)).
inf(p('Cloud Color', 0),p('Reset Position', 4)).
inf(p('Cloud Color', 0),p('Cloud Color', 4)).
inf(p('Cloud Color', 0),p('Edge Color', 4)).
inf(p('Cloud Color', 0),p('Edge Style', 4)).
inf(p('Cloud Color', 0),p('Edge Width', 4)).
inf(p('Edge Color', 0),p('Cloud Color', 4)).
inf(p('Edge Style', 0),p('Cloud Color', 4)).
inf(p('Edge Width', 0),p('Cloud Color', 4)).
inf(p('Physical Syle', 0),p('Cloud Color', 5)).
inf(p('Font Syle', 0),p('Cloud Color', 5)).
inf(p('Font Size', 0),p('Cloud Color', 5)).
inf(p('Fork', 0),p('Cloud Color', 5)).
inf(p('Bubble', 0),p('Cloud Color', 5)).
inf(p('Large Font', 0),p('Cloud Color', 5)).
inf(p('Smaller Font', 0),p('Cloud Color', 5)).
inf(p('Italic', 0),p('Cloud Color', 5)).
inf(p('Bold', 0),p('Cloud Color', 5)).
inf(p('Node Color', 0),p('Cloud Color', 5)).
inf(p('Blend Color', 0),p('Cloud Color', 5)).
inf(p('Node Background Color', 0),p('Cloud Color', 5)).
inf(p('Remove Node Background Color', 0),p('Cloud Color', 5)).
inf(p('Reset Position', 0),p('Cloud Color', 5)).
inf(p('Cloud Color', 0),p('Physical Syle', 5)).
inf(p('Cloud Color', 0),p('Font Syle', 5)).
inf(p('Cloud Color', 0),p('Font Size', 5)).
inf(p('Cloud Color', 0),p('Fork', 5)).
inf(p('Cloud Color', 0),p('Bubble', 5)).
inf(p('Cloud Color', 0),p('Large Font', 5)).
inf(p('Cloud Color', 0),p('Smaller Font', 5)).
inf(p('Cloud Color', 0),p('Italic', 5)).
inf(p('Cloud Color', 0),p('Bold', 5)).
inf(p('Cloud Color', 0),p('Node Color', 5)).
inf(p('Cloud Color', 0),p('Blend Color', 5)).
inf(p('Cloud Color', 0),p('Node Background Color', 5)).
inf(p('Cloud Color', 0),p('Remove Node Background Color', 5)).
inf(p('Cloud Color', 0),p('Reset Position', 5)).
inf(p('Cloud Color', 0),p('Cloud Color', 5)).
inf(p('Cloud Color', 0),p('Edge Color', 5)).
inf(p('Cloud Color', 0),p('Edge Style', 5)).
inf(p('Cloud Color', 0),p('Edge Width', 5)).
inf(p('Edge Color', 0),p('Cloud Color', 5)).
inf(p('Edge Style', 0),p('Cloud Color', 5)).
inf(p('Edge Width', 0),p('Cloud Color', 5)).
inf(p('Physical Syle', 0),p('Cloud Color', 6)).
inf(p('Font Syle', 0),p('Cloud Color', 6)).
inf(p('Font Size', 0),p('Cloud Color', 6)).
inf(p('Fork', 0),p('Cloud Color', 6)).
inf(p('Bubble', 0),p('Cloud Color', 6)).
inf(p('Large Font', 0),p('Cloud Color', 6)).
inf(p('Smaller Font', 0),p('Cloud Color', 6)).
inf(p('Italic', 0),p('Cloud Color', 6)).
inf(p('Bold', 0),p('Cloud Color', 6)).
inf(p('Node Color', 0),p('Cloud Color', 6)).
inf(p('Blend Color', 0),p('Cloud Color', 6)).
inf(p('Node Background Color', 0),p('Cloud Color', 6)).
inf(p('Remove Node Background Color', 0),p('Cloud Color', 6)).
inf(p('Reset Position', 0),p('Cloud Color', 6)).
inf(p('Cloud Color', 0),p('Physical Syle', 6)).
inf(p('Cloud Color', 0),p('Font Syle', 6)).
inf(p('Cloud Color', 0),p('Font Size', 6)).
inf(p('Cloud Color', 0),p('Fork', 6)).
inf(p('Cloud Color', 0),p('Bubble', 6)).
inf(p('Cloud Color', 0),p('Large Font', 6)).
inf(p('Cloud Color', 0),p('Smaller Font', 6)).
inf(p('Cloud Color', 0),p('Italic', 6)).
inf(p('Cloud Color', 0),p('Bold', 6)).
inf(p('Cloud Color', 0),p('Node Color', 6)).
inf(p('Cloud Color', 0),p('Blend Color', 6)).
inf(p('Cloud Color', 0),p('Node Background Color', 6)).
inf(p('Cloud Color', 0),p('Remove Node Background Color', 6)).
inf(p('Cloud Color', 0),p('Reset Position', 6)).
inf(p('Cloud Color', 0),p('Cloud Color', 6)).
inf(p('Cloud Color', 0),p('Edge Color', 6)).
inf(p('Cloud Color', 0),p('Edge Style', 6)).
inf(p('Cloud Color', 0),p('Edge Width', 6)).
inf(p('Edge Color', 0),p('Cloud Color', 6)).
inf(p('Edge Style', 0),p('Cloud Color', 6)).
inf(p('Edge Width', 0),p('Cloud Color', 6)).
inf(p('Physical Syle', 0),p('Cloud Color', 7)).
inf(p('Font Syle', 0),p('Cloud Color', 7)).
inf(p('Font Size', 0),p('Cloud Color', 7)).
inf(p('Fork', 0),p('Cloud Color', 7)).
inf(p('Bubble', 0),p('Cloud Color', 7)).
inf(p('Large Font', 0),p('Cloud Color', 7)).
inf(p('Smaller Font', 0),p('Cloud Color', 7)).
inf(p('Italic', 0),p('Cloud Color', 7)).
inf(p('Bold', 0),p('Cloud Color', 7)).
inf(p('Node Color', 0),p('Cloud Color', 7)).
inf(p('Blend Color', 0),p('Cloud Color', 7)).
inf(p('Node Background Color', 0),p('Cloud Color', 7)).
inf(p('Remove Node Background Color', 0),p('Cloud Color', 7)).
inf(p('Reset Position', 0),p('Cloud Color', 7)).
inf(p('Cloud Color', 0),p('Physical Syle', 7)).
inf(p('Cloud Color', 0),p('Font Syle', 7)).
inf(p('Cloud Color', 0),p('Font Size', 7)).
inf(p('Cloud Color', 0),p('Fork', 7)).
inf(p('Cloud Color', 0),p('Bubble', 7)).
inf(p('Cloud Color', 0),p('Large Font', 7)).
inf(p('Cloud Color', 0),p('Smaller Font', 7)).
inf(p('Cloud Color', 0),p('Italic', 7)).
inf(p('Cloud Color', 0),p('Bold', 7)).
inf(p('Cloud Color', 0),p('Node Color', 7)).
inf(p('Cloud Color', 0),p('Blend Color', 7)).
inf(p('Cloud Color', 0),p('Node Background Color', 7)).
inf(p('Cloud Color', 0),p('Remove Node Background Color', 7)).
inf(p('Cloud Color', 0),p('Reset Position', 7)).
inf(p('Cloud Color', 0),p('Cloud Color', 7)).
inf(p('Cloud Color', 0),p('Edge Color', 7)).
inf(p('Cloud Color', 0),p('Edge Style', 7)).
inf(p('Cloud Color', 0),p('Edge Width', 7)).
inf(p('Edge Color', 0),p('Cloud Color', 7)).
inf(p('Edge Style', 0),p('Cloud Color', 7)).
inf(p('Edge Width', 0),p('Cloud Color', 7)).
inf(p('Physical Syle', 0),p('Cloud Color', 8)).
inf(p('Font Syle', 0),p('Cloud Color', 8)).
inf(p('Font Size', 0),p('Cloud Color', 8)).
inf(p('Fork', 0),p('Cloud Color', 8)).
inf(p('Bubble', 0),p('Cloud Color', 8)).
inf(p('Large Font', 0),p('Cloud Color', 8)).
inf(p('Smaller Font', 0),p('Cloud Color', 8)).
inf(p('Italic', 0),p('Cloud Color', 8)).
inf(p('Bold', 0),p('Cloud Color', 8)).
inf(p('Node Color', 0),p('Cloud Color', 8)).
inf(p('Blend Color', 0),p('Cloud Color', 8)).
inf(p('Node Background Color', 0),p('Cloud Color', 8)).
inf(p('Remove Node Background Color', 0),p('Cloud Color', 8)).
inf(p('Reset Position', 0),p('Cloud Color', 8)).
inf(p('Cloud Color', 0),p('Physical Syle', 8)).
inf(p('Cloud Color', 0),p('Font Syle', 8)).
inf(p('Cloud Color', 0),p('Font Size', 8)).
inf(p('Cloud Color', 0),p('Fork', 8)).
inf(p('Cloud Color', 0),p('Bubble', 8)).
inf(p('Cloud Color', 0),p('Large Font', 8)).
inf(p('Cloud Color', 0),p('Smaller Font', 8)).
inf(p('Cloud Color', 0),p('Italic', 8)).
inf(p('Cloud Color', 0),p('Bold', 8)).
inf(p('Cloud Color', 0),p('Node Color', 8)).
inf(p('Cloud Color', 0),p('Blend Color', 8)).
inf(p('Cloud Color', 0),p('Node Background Color', 8)).
inf(p('Cloud Color', 0),p('Remove Node Background Color', 8)).
inf(p('Cloud Color', 0),p('Reset Position', 8)).
inf(p('Cloud Color', 0),p('Cloud Color', 8)).
inf(p('Cloud Color', 0),p('Edge Color', 8)).
inf(p('Cloud Color', 0),p('Edge Style', 8)).
inf(p('Cloud Color', 0),p('Edge Width', 8)).
inf(p('Edge Color', 0),p('Cloud Color', 8)).
inf(p('Edge Style', 0),p('Cloud Color', 8)).
inf(p('Edge Width', 0),p('Cloud Color', 8)).
inf(p('Physical Syle', 0),p('Cloud Color', 9)).
inf(p('Font Syle', 0),p('Cloud Color', 9)).
inf(p('Font Size', 0),p('Cloud Color', 9)).
inf(p('Fork', 0),p('Cloud Color', 9)).
inf(p('Bubble', 0),p('Cloud Color', 9)).
inf(p('Large Font', 0),p('Cloud Color', 9)).
inf(p('Smaller Font', 0),p('Cloud Color', 9)).
inf(p('Italic', 0),p('Cloud Color', 9)).
inf(p('Bold', 0),p('Cloud Color', 9)).
inf(p('Node Color', 0),p('Cloud Color', 9)).
inf(p('Blend Color', 0),p('Cloud Color', 9)).
inf(p('Node Background Color', 0),p('Cloud Color', 9)).
inf(p('Remove Node Background Color', 0),p('Cloud Color', 9)).
inf(p('Reset Position', 0),p('Cloud Color', 9)).
inf(p('Cloud Color', 0),p('Physical Syle', 9)).
inf(p('Cloud Color', 0),p('Font Syle', 9)).
inf(p('Cloud Color', 0),p('Font Size', 9)).
inf(p('Cloud Color', 0),p('Fork', 9)).
inf(p('Cloud Color', 0),p('Bubble', 9)).
inf(p('Cloud Color', 0),p('Large Font', 9)).
inf(p('Cloud Color', 0),p('Smaller Font', 9)).
inf(p('Cloud Color', 0),p('Italic', 9)).
inf(p('Cloud Color', 0),p('Bold', 9)).
inf(p('Cloud Color', 0),p('Node Color', 9)).
inf(p('Cloud Color', 0),p('Blend Color', 9)).
inf(p('Cloud Color', 0),p('Node Background Color', 9)).
inf(p('Cloud Color', 0),p('Remove Node Background Color', 9)).
inf(p('Cloud Color', 0),p('Reset Position', 9)).
inf(p('Cloud Color', 0),p('Cloud Color', 9)).
inf(p('Cloud Color', 0),p('Edge Color', 9)).
inf(p('Cloud Color', 0),p('Edge Style', 9)).
inf(p('Cloud Color', 0),p('Edge Width', 9)).
inf(p('Edge Color', 0),p('Cloud Color', 9)).
inf(p('Edge Style', 0),p('Cloud Color', 9)).
inf(p('Edge Width', 0),p('Cloud Color', 9)).
inf(p('Physical Syle', 1),p('Cloud Color', 2)).
inf(p('Font Syle', 1),p('Cloud Color', 2)).
inf(p('Font Size', 1),p('Cloud Color', 2)).
inf(p('Fork', 1),p('Cloud Color', 2)).
inf(p('Bubble', 1),p('Cloud Color', 2)).
inf(p('Large Font', 1),p('Cloud Color', 2)).
inf(p('Smaller Font', 1),p('Cloud Color', 2)).
inf(p('Italic', 1),p('Cloud Color', 2)).
inf(p('Bold', 1),p('Cloud Color', 2)).
inf(p('Node Color', 1),p('Cloud Color', 2)).
inf(p('Blend Color', 1),p('Cloud Color', 2)).
inf(p('Node Background Color', 1),p('Cloud Color', 2)).
inf(p('Remove Node Background Color', 1),p('Cloud Color', 2)).
inf(p('Reset Position', 1),p('Cloud Color', 2)).
inf(p('Cloud Color', 1),p('Physical Syle', 2)).
inf(p('Cloud Color', 1),p('Font Syle', 2)).
inf(p('Cloud Color', 1),p('Font Size', 2)).
inf(p('Cloud Color', 1),p('Fork', 2)).
inf(p('Cloud Color', 1),p('Bubble', 2)).
inf(p('Cloud Color', 1),p('Large Font', 2)).
inf(p('Cloud Color', 1),p('Smaller Font', 2)).
inf(p('Cloud Color', 1),p('Italic', 2)).
inf(p('Cloud Color', 1),p('Bold', 2)).
inf(p('Cloud Color', 1),p('Node Color', 2)).
inf(p('Cloud Color', 1),p('Blend Color', 2)).
inf(p('Cloud Color', 1),p('Node Background Color', 2)).
inf(p('Cloud Color', 1),p('Remove Node Background Color', 2)).
inf(p('Cloud Color', 1),p('Reset Position', 2)).
inf(p('Cloud Color', 1),p('Cloud Color', 2)).
inf(p('Cloud Color', 1),p('Edge Color', 2)).
inf(p('Cloud Color', 1),p('Edge Style', 2)).
inf(p('Cloud Color', 1),p('Edge Width', 2)).
inf(p('Edge Color', 1),p('Cloud Color', 2)).
inf(p('Edge Style', 1),p('Cloud Color', 2)).
inf(p('Edge Width', 1),p('Cloud Color', 2)).
inf(p('Physical Syle', 1),p('Cloud Color', 3)).
inf(p('Font Syle', 1),p('Cloud Color', 3)).
inf(p('Font Size', 1),p('Cloud Color', 3)).
inf(p('Fork', 1),p('Cloud Color', 3)).
inf(p('Bubble', 1),p('Cloud Color', 3)).
inf(p('Large Font', 1),p('Cloud Color', 3)).
inf(p('Smaller Font', 1),p('Cloud Color', 3)).
inf(p('Italic', 1),p('Cloud Color', 3)).
inf(p('Bold', 1),p('Cloud Color', 3)).
inf(p('Node Color', 1),p('Cloud Color', 3)).
inf(p('Blend Color', 1),p('Cloud Color', 3)).
inf(p('Node Background Color', 1),p('Cloud Color', 3)).
inf(p('Remove Node Background Color', 1),p('Cloud Color', 3)).
inf(p('Reset Position', 1),p('Cloud Color', 3)).
inf(p('Cloud Color', 1),p('Physical Syle', 3)).
inf(p('Cloud Color', 1),p('Font Syle', 3)).
inf(p('Cloud Color', 1),p('Font Size', 3)).
inf(p('Cloud Color', 1),p('Fork', 3)).
inf(p('Cloud Color', 1),p('Bubble', 3)).
inf(p('Cloud Color', 1),p('Large Font', 3)).
inf(p('Cloud Color', 1),p('Smaller Font', 3)).
inf(p('Cloud Color', 1),p('Italic', 3)).
inf(p('Cloud Color', 1),p('Bold', 3)).
inf(p('Cloud Color', 1),p('Node Color', 3)).
inf(p('Cloud Color', 1),p('Blend Color', 3)).
inf(p('Cloud Color', 1),p('Node Background Color', 3)).
inf(p('Cloud Color', 1),p('Remove Node Background Color', 3)).
inf(p('Cloud Color', 1),p('Reset Position', 3)).
inf(p('Cloud Color', 1),p('Cloud Color', 3)).
inf(p('Cloud Color', 1),p('Edge Color', 3)).
inf(p('Cloud Color', 1),p('Edge Style', 3)).
inf(p('Cloud Color', 1),p('Edge Width', 3)).
inf(p('Edge Color', 1),p('Cloud Color', 3)).
inf(p('Edge Style', 1),p('Cloud Color', 3)).
inf(p('Edge Width', 1),p('Cloud Color', 3)).
inf(p('Physical Syle', 1),p('Cloud Color', 4)).
inf(p('Font Syle', 1),p('Cloud Color', 4)).
inf(p('Font Size', 1),p('Cloud Color', 4)).
inf(p('Fork', 1),p('Cloud Color', 4)).
inf(p('Bubble', 1),p('Cloud Color', 4)).
inf(p('Large Font', 1),p('Cloud Color', 4)).
inf(p('Smaller Font', 1),p('Cloud Color', 4)).
inf(p('Italic', 1),p('Cloud Color', 4)).
inf(p('Bold', 1),p('Cloud Color', 4)).
inf(p('Node Color', 1),p('Cloud Color', 4)).
inf(p('Blend Color', 1),p('Cloud Color', 4)).
inf(p('Node Background Color', 1),p('Cloud Color', 4)).
inf(p('Remove Node Background Color', 1),p('Cloud Color', 4)).
inf(p('Reset Position', 1),p('Cloud Color', 4)).
inf(p('Cloud Color', 1),p('Physical Syle', 4)).
inf(p('Cloud Color', 1),p('Font Syle', 4)).
inf(p('Cloud Color', 1),p('Font Size', 4)).
inf(p('Cloud Color', 1),p('Fork', 4)).
inf(p('Cloud Color', 1),p('Bubble', 4)).
inf(p('Cloud Color', 1),p('Large Font', 4)).
inf(p('Cloud Color', 1),p('Smaller Font', 4)).
inf(p('Cloud Color', 1),p('Italic', 4)).
inf(p('Cloud Color', 1),p('Bold', 4)).
inf(p('Cloud Color', 1),p('Node Color', 4)).
inf(p('Cloud Color', 1),p('Blend Color', 4)).
inf(p('Cloud Color', 1),p('Node Background Color', 4)).
inf(p('Cloud Color', 1),p('Remove Node Background Color', 4)).
inf(p('Cloud Color', 1),p('Reset Position', 4)).
inf(p('Cloud Color', 1),p('Cloud Color', 4)).
inf(p('Cloud Color', 1),p('Edge Color', 4)).
inf(p('Cloud Color', 1),p('Edge Style', 4)).
inf(p('Cloud Color', 1),p('Edge Width', 4)).
inf(p('Edge Color', 1),p('Cloud Color', 4)).
inf(p('Edge Style', 1),p('Cloud Color', 4)).
inf(p('Edge Width', 1),p('Cloud Color', 4)).
inf(p('Physical Syle', 1),p('Cloud Color', 5)).
inf(p('Font Syle', 1),p('Cloud Color', 5)).
inf(p('Font Size', 1),p('Cloud Color', 5)).
inf(p('Fork', 1),p('Cloud Color', 5)).
inf(p('Bubble', 1),p('Cloud Color', 5)).
inf(p('Large Font', 1),p('Cloud Color', 5)).
inf(p('Smaller Font', 1),p('Cloud Color', 5)).
inf(p('Italic', 1),p('Cloud Color', 5)).
inf(p('Bold', 1),p('Cloud Color', 5)).
inf(p('Node Color', 1),p('Cloud Color', 5)).
inf(p('Blend Color', 1),p('Cloud Color', 5)).
inf(p('Node Background Color', 1),p('Cloud Color', 5)).
inf(p('Remove Node Background Color', 1),p('Cloud Color', 5)).
inf(p('Reset Position', 1),p('Cloud Color', 5)).
inf(p('Cloud Color', 1),p('Physical Syle', 5)).
inf(p('Cloud Color', 1),p('Font Syle', 5)).
inf(p('Cloud Color', 1),p('Font Size', 5)).
inf(p('Cloud Color', 1),p('Fork', 5)).
inf(p('Cloud Color', 1),p('Bubble', 5)).
inf(p('Cloud Color', 1),p('Large Font', 5)).
inf(p('Cloud Color', 1),p('Smaller Font', 5)).
inf(p('Cloud Color', 1),p('Italic', 5)).
inf(p('Cloud Color', 1),p('Bold', 5)).
inf(p('Cloud Color', 1),p('Node Color', 5)).
inf(p('Cloud Color', 1),p('Blend Color', 5)).
inf(p('Cloud Color', 1),p('Node Background Color', 5)).
inf(p('Cloud Color', 1),p('Remove Node Background Color', 5)).
inf(p('Cloud Color', 1),p('Reset Position', 5)).
inf(p('Cloud Color', 1),p('Cloud Color', 5)).
inf(p('Cloud Color', 1),p('Edge Color', 5)).
inf(p('Cloud Color', 1),p('Edge Style', 5)).
inf(p('Cloud Color', 1),p('Edge Width', 5)).
inf(p('Edge Color', 1),p('Cloud Color', 5)).
inf(p('Edge Style', 1),p('Cloud Color', 5)).
inf(p('Edge Width', 1),p('Cloud Color', 5)).
inf(p('Physical Syle', 1),p('Cloud Color', 6)).
inf(p('Font Syle', 1),p('Cloud Color', 6)).
inf(p('Font Size', 1),p('Cloud Color', 6)).
inf(p('Fork', 1),p('Cloud Color', 6)).
inf(p('Bubble', 1),p('Cloud Color', 6)).
inf(p('Large Font', 1),p('Cloud Color', 6)).
inf(p('Smaller Font', 1),p('Cloud Color', 6)).
inf(p('Italic', 1),p('Cloud Color', 6)).
inf(p('Bold', 1),p('Cloud Color', 6)).
inf(p('Node Color', 1),p('Cloud Color', 6)).
inf(p('Blend Color', 1),p('Cloud Color', 6)).
inf(p('Node Background Color', 1),p('Cloud Color', 6)).
inf(p('Remove Node Background Color', 1),p('Cloud Color', 6)).
inf(p('Reset Position', 1),p('Cloud Color', 6)).
inf(p('Cloud Color', 1),p('Physical Syle', 6)).
inf(p('Cloud Color', 1),p('Font Syle', 6)).
inf(p('Cloud Color', 1),p('Font Size', 6)).
inf(p('Cloud Color', 1),p('Fork', 6)).
inf(p('Cloud Color', 1),p('Bubble', 6)).
inf(p('Cloud Color', 1),p('Large Font', 6)).
inf(p('Cloud Color', 1),p('Smaller Font', 6)).
inf(p('Cloud Color', 1),p('Italic', 6)).
inf(p('Cloud Color', 1),p('Bold', 6)).
inf(p('Cloud Color', 1),p('Node Color', 6)).
inf(p('Cloud Color', 1),p('Blend Color', 6)).
inf(p('Cloud Color', 1),p('Node Background Color', 6)).
inf(p('Cloud Color', 1),p('Remove Node Background Color', 6)).
inf(p('Cloud Color', 1),p('Reset Position', 6)).
inf(p('Cloud Color', 1),p('Cloud Color', 6)).
inf(p('Cloud Color', 1),p('Edge Color', 6)).
inf(p('Cloud Color', 1),p('Edge Style', 6)).
inf(p('Cloud Color', 1),p('Edge Width', 6)).
inf(p('Edge Color', 1),p('Cloud Color', 6)).
inf(p('Edge Style', 1),p('Cloud Color', 6)).
inf(p('Edge Width', 1),p('Cloud Color', 6)).
inf(p('Physical Syle', 1),p('Cloud Color', 7)).
inf(p('Font Syle', 1),p('Cloud Color', 7)).
inf(p('Font Size', 1),p('Cloud Color', 7)).
inf(p('Fork', 1),p('Cloud Color', 7)).
inf(p('Bubble', 1),p('Cloud Color', 7)).
inf(p('Large Font', 1),p('Cloud Color', 7)).
inf(p('Smaller Font', 1),p('Cloud Color', 7)).
inf(p('Italic', 1),p('Cloud Color', 7)).
inf(p('Bold', 1),p('Cloud Color', 7)).
inf(p('Node Color', 1),p('Cloud Color', 7)).
inf(p('Blend Color', 1),p('Cloud Color', 7)).
inf(p('Node Background Color', 1),p('Cloud Color', 7)).
inf(p('Remove Node Background Color', 1),p('Cloud Color', 7)).
inf(p('Reset Position', 1),p('Cloud Color', 7)).
inf(p('Cloud Color', 1),p('Physical Syle', 7)).
inf(p('Cloud Color', 1),p('Font Syle', 7)).
inf(p('Cloud Color', 1),p('Font Size', 7)).
inf(p('Cloud Color', 1),p('Fork', 7)).
inf(p('Cloud Color', 1),p('Bubble', 7)).
inf(p('Cloud Color', 1),p('Large Font', 7)).
inf(p('Cloud Color', 1),p('Smaller Font', 7)).
inf(p('Cloud Color', 1),p('Italic', 7)).
inf(p('Cloud Color', 1),p('Bold', 7)).
inf(p('Cloud Color', 1),p('Node Color', 7)).
inf(p('Cloud Color', 1),p('Blend Color', 7)).
inf(p('Cloud Color', 1),p('Node Background Color', 7)).
inf(p('Cloud Color', 1),p('Remove Node Background Color', 7)).
inf(p('Cloud Color', 1),p('Reset Position', 7)).
inf(p('Cloud Color', 1),p('Cloud Color', 7)).
inf(p('Cloud Color', 1),p('Edge Color', 7)).
inf(p('Cloud Color', 1),p('Edge Style', 7)).
inf(p('Cloud Color', 1),p('Edge Width', 7)).
inf(p('Edge Color', 1),p('Cloud Color', 7)).
inf(p('Edge Style', 1),p('Cloud Color', 7)).
inf(p('Edge Width', 1),p('Cloud Color', 7)).
inf(p('Physical Syle', 1),p('Cloud Color', 8)).
inf(p('Font Syle', 1),p('Cloud Color', 8)).
inf(p('Font Size', 1),p('Cloud Color', 8)).
inf(p('Fork', 1),p('Cloud Color', 8)).
inf(p('Bubble', 1),p('Cloud Color', 8)).
inf(p('Large Font', 1),p('Cloud Color', 8)).
inf(p('Smaller Font', 1),p('Cloud Color', 8)).
inf(p('Italic', 1),p('Cloud Color', 8)).
inf(p('Bold', 1),p('Cloud Color', 8)).
inf(p('Node Color', 1),p('Cloud Color', 8)).
inf(p('Blend Color', 1),p('Cloud Color', 8)).
inf(p('Node Background Color', 1),p('Cloud Color', 8)).
inf(p('Remove Node Background Color', 1),p('Cloud Color', 8)).
inf(p('Reset Position', 1),p('Cloud Color', 8)).
inf(p('Cloud Color', 1),p('Physical Syle', 8)).
inf(p('Cloud Color', 1),p('Font Syle', 8)).
inf(p('Cloud Color', 1),p('Font Size', 8)).
inf(p('Cloud Color', 1),p('Fork', 8)).
inf(p('Cloud Color', 1),p('Bubble', 8)).
inf(p('Cloud Color', 1),p('Large Font', 8)).
inf(p('Cloud Color', 1),p('Smaller Font', 8)).
inf(p('Cloud Color', 1),p('Italic', 8)).
inf(p('Cloud Color', 1),p('Bold', 8)).
inf(p('Cloud Color', 1),p('Node Color', 8)).
inf(p('Cloud Color', 1),p('Blend Color', 8)).
inf(p('Cloud Color', 1),p('Node Background Color', 8)).
inf(p('Cloud Color', 1),p('Remove Node Background Color', 8)).
inf(p('Cloud Color', 1),p('Reset Position', 8)).
inf(p('Cloud Color', 1),p('Cloud Color', 8)).
inf(p('Cloud Color', 1),p('Edge Color', 8)).
inf(p('Cloud Color', 1),p('Edge Style', 8)).
inf(p('Cloud Color', 1),p('Edge Width', 8)).
inf(p('Edge Color', 1),p('Cloud Color', 8)).
inf(p('Edge Style', 1),p('Cloud Color', 8)).
inf(p('Edge Width', 1),p('Cloud Color', 8)).
inf(p('Physical Syle', 1),p('Cloud Color', 9)).
inf(p('Font Syle', 1),p('Cloud Color', 9)).
inf(p('Font Size', 1),p('Cloud Color', 9)).
inf(p('Fork', 1),p('Cloud Color', 9)).
inf(p('Bubble', 1),p('Cloud Color', 9)).
inf(p('Large Font', 1),p('Cloud Color', 9)).
inf(p('Smaller Font', 1),p('Cloud Color', 9)).
inf(p('Italic', 1),p('Cloud Color', 9)).
inf(p('Bold', 1),p('Cloud Color', 9)).
inf(p('Node Color', 1),p('Cloud Color', 9)).
inf(p('Blend Color', 1),p('Cloud Color', 9)).
inf(p('Node Background Color', 1),p('Cloud Color', 9)).
inf(p('Remove Node Background Color', 1),p('Cloud Color', 9)).
inf(p('Reset Position', 1),p('Cloud Color', 9)).
inf(p('Cloud Color', 1),p('Physical Syle', 9)).
inf(p('Cloud Color', 1),p('Font Syle', 9)).
inf(p('Cloud Color', 1),p('Font Size', 9)).
inf(p('Cloud Color', 1),p('Fork', 9)).
inf(p('Cloud Color', 1),p('Bubble', 9)).
inf(p('Cloud Color', 1),p('Large Font', 9)).
inf(p('Cloud Color', 1),p('Smaller Font', 9)).
inf(p('Cloud Color', 1),p('Italic', 9)).
inf(p('Cloud Color', 1),p('Bold', 9)).
inf(p('Cloud Color', 1),p('Node Color', 9)).
inf(p('Cloud Color', 1),p('Blend Color', 9)).
inf(p('Cloud Color', 1),p('Node Background Color', 9)).
inf(p('Cloud Color', 1),p('Remove Node Background Color', 9)).
inf(p('Cloud Color', 1),p('Reset Position', 9)).
inf(p('Cloud Color', 1),p('Cloud Color', 9)).
inf(p('Cloud Color', 1),p('Edge Color', 9)).
inf(p('Cloud Color', 1),p('Edge Style', 9)).
inf(p('Cloud Color', 1),p('Edge Width', 9)).
inf(p('Edge Color', 1),p('Cloud Color', 9)).
inf(p('Edge Style', 1),p('Cloud Color', 9)).
inf(p('Edge Width', 1),p('Cloud Color', 9)).
inf(p('Physical Syle', 2),p('Cloud Color', 3)).
inf(p('Font Syle', 2),p('Cloud Color', 3)).
inf(p('Font Size', 2),p('Cloud Color', 3)).
inf(p('Fork', 2),p('Cloud Color', 3)).
inf(p('Bubble', 2),p('Cloud Color', 3)).
inf(p('Large Font', 2),p('Cloud Color', 3)).
inf(p('Smaller Font', 2),p('Cloud Color', 3)).
inf(p('Italic', 2),p('Cloud Color', 3)).
inf(p('Bold', 2),p('Cloud Color', 3)).
inf(p('Node Color', 2),p('Cloud Color', 3)).
inf(p('Blend Color', 2),p('Cloud Color', 3)).
inf(p('Node Background Color', 2),p('Cloud Color', 3)).
inf(p('Remove Node Background Color', 2),p('Cloud Color', 3)).
inf(p('Reset Position', 2),p('Cloud Color', 3)).
inf(p('Cloud Color', 2),p('Physical Syle', 3)).
inf(p('Cloud Color', 2),p('Font Syle', 3)).
inf(p('Cloud Color', 2),p('Font Size', 3)).
inf(p('Cloud Color', 2),p('Fork', 3)).
inf(p('Cloud Color', 2),p('Bubble', 3)).
inf(p('Cloud Color', 2),p('Large Font', 3)).
inf(p('Cloud Color', 2),p('Smaller Font', 3)).
inf(p('Cloud Color', 2),p('Italic', 3)).
inf(p('Cloud Color', 2),p('Bold', 3)).
inf(p('Cloud Color', 2),p('Node Color', 3)).
inf(p('Cloud Color', 2),p('Blend Color', 3)).
inf(p('Cloud Color', 2),p('Node Background Color', 3)).
inf(p('Cloud Color', 2),p('Remove Node Background Color', 3)).
inf(p('Cloud Color', 2),p('Reset Position', 3)).
inf(p('Cloud Color', 2),p('Cloud Color', 3)).
inf(p('Cloud Color', 2),p('Edge Color', 3)).
inf(p('Cloud Color', 2),p('Edge Style', 3)).
inf(p('Cloud Color', 2),p('Edge Width', 3)).
inf(p('Edge Color', 2),p('Cloud Color', 3)).
inf(p('Edge Style', 2),p('Cloud Color', 3)).
inf(p('Edge Width', 2),p('Cloud Color', 3)).
inf(p('Physical Syle', 2),p('Cloud Color', 4)).
inf(p('Font Syle', 2),p('Cloud Color', 4)).
inf(p('Font Size', 2),p('Cloud Color', 4)).
inf(p('Fork', 2),p('Cloud Color', 4)).
inf(p('Bubble', 2),p('Cloud Color', 4)).
inf(p('Large Font', 2),p('Cloud Color', 4)).
inf(p('Smaller Font', 2),p('Cloud Color', 4)).
inf(p('Italic', 2),p('Cloud Color', 4)).
inf(p('Bold', 2),p('Cloud Color', 4)).
inf(p('Node Color', 2),p('Cloud Color', 4)).
inf(p('Blend Color', 2),p('Cloud Color', 4)).
inf(p('Node Background Color', 2),p('Cloud Color', 4)).
inf(p('Remove Node Background Color', 2),p('Cloud Color', 4)).
inf(p('Reset Position', 2),p('Cloud Color', 4)).
inf(p('Cloud Color', 2),p('Physical Syle', 4)).
inf(p('Cloud Color', 2),p('Font Syle', 4)).
inf(p('Cloud Color', 2),p('Font Size', 4)).
inf(p('Cloud Color', 2),p('Fork', 4)).
inf(p('Cloud Color', 2),p('Bubble', 4)).
inf(p('Cloud Color', 2),p('Large Font', 4)).
inf(p('Cloud Color', 2),p('Smaller Font', 4)).
inf(p('Cloud Color', 2),p('Italic', 4)).
inf(p('Cloud Color', 2),p('Bold', 4)).
inf(p('Cloud Color', 2),p('Node Color', 4)).
inf(p('Cloud Color', 2),p('Blend Color', 4)).
inf(p('Cloud Color', 2),p('Node Background Color', 4)).
inf(p('Cloud Color', 2),p('Remove Node Background Color', 4)).
inf(p('Cloud Color', 2),p('Reset Position', 4)).
inf(p('Cloud Color', 2),p('Cloud Color', 4)).
inf(p('Cloud Color', 2),p('Edge Color', 4)).
inf(p('Cloud Color', 2),p('Edge Style', 4)).
inf(p('Cloud Color', 2),p('Edge Width', 4)).
inf(p('Edge Color', 2),p('Cloud Color', 4)).
inf(p('Edge Style', 2),p('Cloud Color', 4)).
inf(p('Edge Width', 2),p('Cloud Color', 4)).
inf(p('Physical Syle', 2),p('Cloud Color', 5)).
inf(p('Font Syle', 2),p('Cloud Color', 5)).
inf(p('Font Size', 2),p('Cloud Color', 5)).
inf(p('Fork', 2),p('Cloud Color', 5)).
inf(p('Bubble', 2),p('Cloud Color', 5)).
inf(p('Large Font', 2),p('Cloud Color', 5)).
inf(p('Smaller Font', 2),p('Cloud Color', 5)).
inf(p('Italic', 2),p('Cloud Color', 5)).
inf(p('Bold', 2),p('Cloud Color', 5)).
inf(p('Node Color', 2),p('Cloud Color', 5)).
inf(p('Blend Color', 2),p('Cloud Color', 5)).
inf(p('Node Background Color', 2),p('Cloud Color', 5)).
inf(p('Remove Node Background Color', 2),p('Cloud Color', 5)).
inf(p('Reset Position', 2),p('Cloud Color', 5)).
inf(p('Cloud Color', 2),p('Physical Syle', 5)).
inf(p('Cloud Color', 2),p('Font Syle', 5)).
inf(p('Cloud Color', 2),p('Font Size', 5)).
inf(p('Cloud Color', 2),p('Fork', 5)).
inf(p('Cloud Color', 2),p('Bubble', 5)).
inf(p('Cloud Color', 2),p('Large Font', 5)).
inf(p('Cloud Color', 2),p('Smaller Font', 5)).
inf(p('Cloud Color', 2),p('Italic', 5)).
inf(p('Cloud Color', 2),p('Bold', 5)).
inf(p('Cloud Color', 2),p('Node Color', 5)).
inf(p('Cloud Color', 2),p('Blend Color', 5)).
inf(p('Cloud Color', 2),p('Node Background Color', 5)).
inf(p('Cloud Color', 2),p('Remove Node Background Color', 5)).
inf(p('Cloud Color', 2),p('Reset Position', 5)).
inf(p('Cloud Color', 2),p('Cloud Color', 5)).
inf(p('Cloud Color', 2),p('Edge Color', 5)).
inf(p('Cloud Color', 2),p('Edge Style', 5)).
inf(p('Cloud Color', 2),p('Edge Width', 5)).
inf(p('Edge Color', 2),p('Cloud Color', 5)).
inf(p('Edge Style', 2),p('Cloud Color', 5)).
inf(p('Edge Width', 2),p('Cloud Color', 5)).
inf(p('Physical Syle', 2),p('Cloud Color', 6)).
inf(p('Font Syle', 2),p('Cloud Color', 6)).
inf(p('Font Size', 2),p('Cloud Color', 6)).
inf(p('Fork', 2),p('Cloud Color', 6)).
inf(p('Bubble', 2),p('Cloud Color', 6)).
inf(p('Large Font', 2),p('Cloud Color', 6)).
inf(p('Smaller Font', 2),p('Cloud Color', 6)).
inf(p('Italic', 2),p('Cloud Color', 6)).
inf(p('Bold', 2),p('Cloud Color', 6)).
inf(p('Node Color', 2),p('Cloud Color', 6)).
inf(p('Blend Color', 2),p('Cloud Color', 6)).
inf(p('Node Background Color', 2),p('Cloud Color', 6)).
inf(p('Remove Node Background Color', 2),p('Cloud Color', 6)).
inf(p('Reset Position', 2),p('Cloud Color', 6)).
inf(p('Cloud Color', 2),p('Physical Syle', 6)).
inf(p('Cloud Color', 2),p('Font Syle', 6)).
inf(p('Cloud Color', 2),p('Font Size', 6)).
inf(p('Cloud Color', 2),p('Fork', 6)).
inf(p('Cloud Color', 2),p('Bubble', 6)).
inf(p('Cloud Color', 2),p('Large Font', 6)).
inf(p('Cloud Color', 2),p('Smaller Font', 6)).
inf(p('Cloud Color', 2),p('Italic', 6)).
inf(p('Cloud Color', 2),p('Bold', 6)).
inf(p('Cloud Color', 2),p('Node Color', 6)).
inf(p('Cloud Color', 2),p('Blend Color', 6)).
inf(p('Cloud Color', 2),p('Node Background Color', 6)).
inf(p('Cloud Color', 2),p('Remove Node Background Color', 6)).
inf(p('Cloud Color', 2),p('Reset Position', 6)).
inf(p('Cloud Color', 2),p('Cloud Color', 6)).
inf(p('Cloud Color', 2),p('Edge Color', 6)).
inf(p('Cloud Color', 2),p('Edge Style', 6)).
inf(p('Cloud Color', 2),p('Edge Width', 6)).
inf(p('Edge Color', 2),p('Cloud Color', 6)).
inf(p('Edge Style', 2),p('Cloud Color', 6)).
inf(p('Edge Width', 2),p('Cloud Color', 6)).
inf(p('Physical Syle', 2),p('Cloud Color', 7)).
inf(p('Font Syle', 2),p('Cloud Color', 7)).
inf(p('Font Size', 2),p('Cloud Color', 7)).
inf(p('Fork', 2),p('Cloud Color', 7)).
inf(p('Bubble', 2),p('Cloud Color', 7)).
inf(p('Large Font', 2),p('Cloud Color', 7)).
inf(p('Smaller Font', 2),p('Cloud Color', 7)).
inf(p('Italic', 2),p('Cloud Color', 7)).
inf(p('Bold', 2),p('Cloud Color', 7)).
inf(p('Node Color', 2),p('Cloud Color', 7)).
inf(p('Blend Color', 2),p('Cloud Color', 7)).
inf(p('Node Background Color', 2),p('Cloud Color', 7)).
inf(p('Remove Node Background Color', 2),p('Cloud Color', 7)).
inf(p('Reset Position', 2),p('Cloud Color', 7)).
inf(p('Cloud Color', 2),p('Physical Syle', 7)).
inf(p('Cloud Color', 2),p('Font Syle', 7)).
inf(p('Cloud Color', 2),p('Font Size', 7)).
inf(p('Cloud Color', 2),p('Fork', 7)).
inf(p('Cloud Color', 2),p('Bubble', 7)).
inf(p('Cloud Color', 2),p('Large Font', 7)).
inf(p('Cloud Color', 2),p('Smaller Font', 7)).
inf(p('Cloud Color', 2),p('Italic', 7)).
inf(p('Cloud Color', 2),p('Bold', 7)).
inf(p('Cloud Color', 2),p('Node Color', 7)).
inf(p('Cloud Color', 2),p('Blend Color', 7)).
inf(p('Cloud Color', 2),p('Node Background Color', 7)).
inf(p('Cloud Color', 2),p('Remove Node Background Color', 7)).
inf(p('Cloud Color', 2),p('Reset Position', 7)).
inf(p('Cloud Color', 2),p('Cloud Color', 7)).
inf(p('Cloud Color', 2),p('Edge Color', 7)).
inf(p('Cloud Color', 2),p('Edge Style', 7)).
inf(p('Cloud Color', 2),p('Edge Width', 7)).
inf(p('Edge Color', 2),p('Cloud Color', 7)).
inf(p('Edge Style', 2),p('Cloud Color', 7)).
inf(p('Edge Width', 2),p('Cloud Color', 7)).
inf(p('Physical Syle', 2),p('Cloud Color', 8)).
inf(p('Font Syle', 2),p('Cloud Color', 8)).
inf(p('Font Size', 2),p('Cloud Color', 8)).
inf(p('Fork', 2),p('Cloud Color', 8)).
inf(p('Bubble', 2),p('Cloud Color', 8)).
inf(p('Large Font', 2),p('Cloud Color', 8)).
inf(p('Smaller Font', 2),p('Cloud Color', 8)).
inf(p('Italic', 2),p('Cloud Color', 8)).
inf(p('Bold', 2),p('Cloud Color', 8)).
inf(p('Node Color', 2),p('Cloud Color', 8)).
inf(p('Blend Color', 2),p('Cloud Color', 8)).
inf(p('Node Background Color', 2),p('Cloud Color', 8)).
inf(p('Remove Node Background Color', 2),p('Cloud Color', 8)).
inf(p('Reset Position', 2),p('Cloud Color', 8)).
inf(p('Cloud Color', 2),p('Physical Syle', 8)).
inf(p('Cloud Color', 2),p('Font Syle', 8)).
inf(p('Cloud Color', 2),p('Font Size', 8)).
inf(p('Cloud Color', 2),p('Fork', 8)).
inf(p('Cloud Color', 2),p('Bubble', 8)).
inf(p('Cloud Color', 2),p('Large Font', 8)).
inf(p('Cloud Color', 2),p('Smaller Font', 8)).
inf(p('Cloud Color', 2),p('Italic', 8)).
inf(p('Cloud Color', 2),p('Bold', 8)).
inf(p('Cloud Color', 2),p('Node Color', 8)).
inf(p('Cloud Color', 2),p('Blend Color', 8)).
inf(p('Cloud Color', 2),p('Node Background Color', 8)).
inf(p('Cloud Color', 2),p('Remove Node Background Color', 8)).
inf(p('Cloud Color', 2),p('Reset Position', 8)).
inf(p('Cloud Color', 2),p('Cloud Color', 8)).
inf(p('Cloud Color', 2),p('Edge Color', 8)).
inf(p('Cloud Color', 2),p('Edge Style', 8)).
inf(p('Cloud Color', 2),p('Edge Width', 8)).
inf(p('Edge Color', 2),p('Cloud Color', 8)).
inf(p('Edge Style', 2),p('Cloud Color', 8)).
inf(p('Edge Width', 2),p('Cloud Color', 8)).
inf(p('Physical Syle', 2),p('Cloud Color', 9)).
inf(p('Font Syle', 2),p('Cloud Color', 9)).
inf(p('Font Size', 2),p('Cloud Color', 9)).
inf(p('Fork', 2),p('Cloud Color', 9)).
inf(p('Bubble', 2),p('Cloud Color', 9)).
inf(p('Large Font', 2),p('Cloud Color', 9)).
inf(p('Smaller Font', 2),p('Cloud Color', 9)).
inf(p('Italic', 2),p('Cloud Color', 9)).
inf(p('Bold', 2),p('Cloud Color', 9)).
inf(p('Node Color', 2),p('Cloud Color', 9)).
inf(p('Blend Color', 2),p('Cloud Color', 9)).
inf(p('Node Background Color', 2),p('Cloud Color', 9)).
inf(p('Remove Node Background Color', 2),p('Cloud Color', 9)).
inf(p('Reset Position', 2),p('Cloud Color', 9)).
inf(p('Cloud Color', 2),p('Physical Syle', 9)).
inf(p('Cloud Color', 2),p('Font Syle', 9)).
inf(p('Cloud Color', 2),p('Font Size', 9)).
inf(p('Cloud Color', 2),p('Fork', 9)).
inf(p('Cloud Color', 2),p('Bubble', 9)).
inf(p('Cloud Color', 2),p('Large Font', 9)).
inf(p('Cloud Color', 2),p('Smaller Font', 9)).
inf(p('Cloud Color', 2),p('Italic', 9)).
inf(p('Cloud Color', 2),p('Bold', 9)).
inf(p('Cloud Color', 2),p('Node Color', 9)).
inf(p('Cloud Color', 2),p('Blend Color', 9)).
inf(p('Cloud Color', 2),p('Node Background Color', 9)).
inf(p('Cloud Color', 2),p('Remove Node Background Color', 9)).
inf(p('Cloud Color', 2),p('Reset Position', 9)).
inf(p('Cloud Color', 2),p('Cloud Color', 9)).
inf(p('Cloud Color', 2),p('Edge Color', 9)).
inf(p('Cloud Color', 2),p('Edge Style', 9)).
inf(p('Cloud Color', 2),p('Edge Width', 9)).
inf(p('Edge Color', 2),p('Cloud Color', 9)).
inf(p('Edge Style', 2),p('Cloud Color', 9)).
inf(p('Edge Width', 2),p('Cloud Color', 9)).
inf(p('Physical Syle', 3),p('Cloud Color', 4)).
inf(p('Font Syle', 3),p('Cloud Color', 4)).
inf(p('Font Size', 3),p('Cloud Color', 4)).
inf(p('Fork', 3),p('Cloud Color', 4)).
inf(p('Bubble', 3),p('Cloud Color', 4)).
inf(p('Large Font', 3),p('Cloud Color', 4)).
inf(p('Smaller Font', 3),p('Cloud Color', 4)).
inf(p('Italic', 3),p('Cloud Color', 4)).
inf(p('Bold', 3),p('Cloud Color', 4)).
inf(p('Node Color', 3),p('Cloud Color', 4)).
inf(p('Blend Color', 3),p('Cloud Color', 4)).
inf(p('Node Background Color', 3),p('Cloud Color', 4)).
inf(p('Remove Node Background Color', 3),p('Cloud Color', 4)).
inf(p('Reset Position', 3),p('Cloud Color', 4)).
inf(p('Cloud Color', 3),p('Physical Syle', 4)).
inf(p('Cloud Color', 3),p('Font Syle', 4)).
inf(p('Cloud Color', 3),p('Font Size', 4)).
inf(p('Cloud Color', 3),p('Fork', 4)).
inf(p('Cloud Color', 3),p('Bubble', 4)).
inf(p('Cloud Color', 3),p('Large Font', 4)).
inf(p('Cloud Color', 3),p('Smaller Font', 4)).
inf(p('Cloud Color', 3),p('Italic', 4)).
inf(p('Cloud Color', 3),p('Bold', 4)).
inf(p('Cloud Color', 3),p('Node Color', 4)).
inf(p('Cloud Color', 3),p('Blend Color', 4)).
inf(p('Cloud Color', 3),p('Node Background Color', 4)).
inf(p('Cloud Color', 3),p('Remove Node Background Color', 4)).
inf(p('Cloud Color', 3),p('Reset Position', 4)).
inf(p('Cloud Color', 3),p('Cloud Color', 4)).
inf(p('Cloud Color', 3),p('Edge Color', 4)).
inf(p('Cloud Color', 3),p('Edge Style', 4)).
inf(p('Cloud Color', 3),p('Edge Width', 4)).
inf(p('Edge Color', 3),p('Cloud Color', 4)).
inf(p('Edge Style', 3),p('Cloud Color', 4)).
inf(p('Edge Width', 3),p('Cloud Color', 4)).
inf(p('Physical Syle', 3),p('Cloud Color', 5)).
inf(p('Font Syle', 3),p('Cloud Color', 5)).
inf(p('Font Size', 3),p('Cloud Color', 5)).
inf(p('Fork', 3),p('Cloud Color', 5)).
inf(p('Bubble', 3),p('Cloud Color', 5)).
inf(p('Large Font', 3),p('Cloud Color', 5)).
inf(p('Smaller Font', 3),p('Cloud Color', 5)).
inf(p('Italic', 3),p('Cloud Color', 5)).
inf(p('Bold', 3),p('Cloud Color', 5)).
inf(p('Node Color', 3),p('Cloud Color', 5)).
inf(p('Blend Color', 3),p('Cloud Color', 5)).
inf(p('Node Background Color', 3),p('Cloud Color', 5)).
inf(p('Remove Node Background Color', 3),p('Cloud Color', 5)).
inf(p('Reset Position', 3),p('Cloud Color', 5)).
inf(p('Cloud Color', 3),p('Physical Syle', 5)).
inf(p('Cloud Color', 3),p('Font Syle', 5)).
inf(p('Cloud Color', 3),p('Font Size', 5)).
inf(p('Cloud Color', 3),p('Fork', 5)).
inf(p('Cloud Color', 3),p('Bubble', 5)).
inf(p('Cloud Color', 3),p('Large Font', 5)).
inf(p('Cloud Color', 3),p('Smaller Font', 5)).
inf(p('Cloud Color', 3),p('Italic', 5)).
inf(p('Cloud Color', 3),p('Bold', 5)).
inf(p('Cloud Color', 3),p('Node Color', 5)).
inf(p('Cloud Color', 3),p('Blend Color', 5)).
inf(p('Cloud Color', 3),p('Node Background Color', 5)).
inf(p('Cloud Color', 3),p('Remove Node Background Color', 5)).
inf(p('Cloud Color', 3),p('Reset Position', 5)).
inf(p('Cloud Color', 3),p('Cloud Color', 5)).
inf(p('Cloud Color', 3),p('Edge Color', 5)).
inf(p('Cloud Color', 3),p('Edge Style', 5)).
inf(p('Cloud Color', 3),p('Edge Width', 5)).
inf(p('Edge Color', 3),p('Cloud Color', 5)).
inf(p('Edge Style', 3),p('Cloud Color', 5)).
inf(p('Edge Width', 3),p('Cloud Color', 5)).
inf(p('Physical Syle', 3),p('Cloud Color', 6)).
inf(p('Font Syle', 3),p('Cloud Color', 6)).
inf(p('Font Size', 3),p('Cloud Color', 6)).
inf(p('Fork', 3),p('Cloud Color', 6)).
inf(p('Bubble', 3),p('Cloud Color', 6)).
inf(p('Large Font', 3),p('Cloud Color', 6)).
inf(p('Smaller Font', 3),p('Cloud Color', 6)).
inf(p('Italic', 3),p('Cloud Color', 6)).
inf(p('Bold', 3),p('Cloud Color', 6)).
inf(p('Node Color', 3),p('Cloud Color', 6)).
inf(p('Blend Color', 3),p('Cloud Color', 6)).
inf(p('Node Background Color', 3),p('Cloud Color', 6)).
inf(p('Remove Node Background Color', 3),p('Cloud Color', 6)).
inf(p('Reset Position', 3),p('Cloud Color', 6)).
inf(p('Cloud Color', 3),p('Physical Syle', 6)).
inf(p('Cloud Color', 3),p('Font Syle', 6)).
inf(p('Cloud Color', 3),p('Font Size', 6)).
inf(p('Cloud Color', 3),p('Fork', 6)).
inf(p('Cloud Color', 3),p('Bubble', 6)).
inf(p('Cloud Color', 3),p('Large Font', 6)).
inf(p('Cloud Color', 3),p('Smaller Font', 6)).
inf(p('Cloud Color', 3),p('Italic', 6)).
inf(p('Cloud Color', 3),p('Bold', 6)).
inf(p('Cloud Color', 3),p('Node Color', 6)).
inf(p('Cloud Color', 3),p('Blend Color', 6)).
inf(p('Cloud Color', 3),p('Node Background Color', 6)).
inf(p('Cloud Color', 3),p('Remove Node Background Color', 6)).
inf(p('Cloud Color', 3),p('Reset Position', 6)).
inf(p('Cloud Color', 3),p('Cloud Color', 6)).
inf(p('Cloud Color', 3),p('Edge Color', 6)).
inf(p('Cloud Color', 3),p('Edge Style', 6)).
inf(p('Cloud Color', 3),p('Edge Width', 6)).
inf(p('Edge Color', 3),p('Cloud Color', 6)).
inf(p('Edge Style', 3),p('Cloud Color', 6)).
inf(p('Edge Width', 3),p('Cloud Color', 6)).
inf(p('Physical Syle', 3),p('Cloud Color', 7)).
inf(p('Font Syle', 3),p('Cloud Color', 7)).
inf(p('Font Size', 3),p('Cloud Color', 7)).
inf(p('Fork', 3),p('Cloud Color', 7)).
inf(p('Bubble', 3),p('Cloud Color', 7)).
inf(p('Large Font', 3),p('Cloud Color', 7)).
inf(p('Smaller Font', 3),p('Cloud Color', 7)).
inf(p('Italic', 3),p('Cloud Color', 7)).
inf(p('Bold', 3),p('Cloud Color', 7)).
inf(p('Node Color', 3),p('Cloud Color', 7)).
inf(p('Blend Color', 3),p('Cloud Color', 7)).
inf(p('Node Background Color', 3),p('Cloud Color', 7)).
inf(p('Remove Node Background Color', 3),p('Cloud Color', 7)).
inf(p('Reset Position', 3),p('Cloud Color', 7)).
inf(p('Cloud Color', 3),p('Physical Syle', 7)).
inf(p('Cloud Color', 3),p('Font Syle', 7)).
inf(p('Cloud Color', 3),p('Font Size', 7)).
inf(p('Cloud Color', 3),p('Fork', 7)).
inf(p('Cloud Color', 3),p('Bubble', 7)).
inf(p('Cloud Color', 3),p('Large Font', 7)).
inf(p('Cloud Color', 3),p('Smaller Font', 7)).
inf(p('Cloud Color', 3),p('Italic', 7)).
inf(p('Cloud Color', 3),p('Bold', 7)).
inf(p('Cloud Color', 3),p('Node Color', 7)).
inf(p('Cloud Color', 3),p('Blend Color', 7)).
inf(p('Cloud Color', 3),p('Node Background Color', 7)).
inf(p('Cloud Color', 3),p('Remove Node Background Color', 7)).
inf(p('Cloud Color', 3),p('Reset Position', 7)).
inf(p('Cloud Color', 3),p('Cloud Color', 7)).
inf(p('Cloud Color', 3),p('Edge Color', 7)).
inf(p('Cloud Color', 3),p('Edge Style', 7)).
inf(p('Cloud Color', 3),p('Edge Width', 7)).
inf(p('Edge Color', 3),p('Cloud Color', 7)).
inf(p('Edge Style', 3),p('Cloud Color', 7)).
inf(p('Edge Width', 3),p('Cloud Color', 7)).
inf(p('Physical Syle', 3),p('Cloud Color', 8)).
inf(p('Font Syle', 3),p('Cloud Color', 8)).
inf(p('Font Size', 3),p('Cloud Color', 8)).
inf(p('Fork', 3),p('Cloud Color', 8)).
inf(p('Bubble', 3),p('Cloud Color', 8)).
inf(p('Large Font', 3),p('Cloud Color', 8)).
inf(p('Smaller Font', 3),p('Cloud Color', 8)).
inf(p('Italic', 3),p('Cloud Color', 8)).
inf(p('Bold', 3),p('Cloud Color', 8)).
inf(p('Node Color', 3),p('Cloud Color', 8)).
inf(p('Blend Color', 3),p('Cloud Color', 8)).
inf(p('Node Background Color', 3),p('Cloud Color', 8)).
inf(p('Remove Node Background Color', 3),p('Cloud Color', 8)).
inf(p('Reset Position', 3),p('Cloud Color', 8)).
inf(p('Cloud Color', 3),p('Physical Syle', 8)).
inf(p('Cloud Color', 3),p('Font Syle', 8)).
inf(p('Cloud Color', 3),p('Font Size', 8)).
inf(p('Cloud Color', 3),p('Fork', 8)).
inf(p('Cloud Color', 3),p('Bubble', 8)).
inf(p('Cloud Color', 3),p('Large Font', 8)).
inf(p('Cloud Color', 3),p('Smaller Font', 8)).
inf(p('Cloud Color', 3),p('Italic', 8)).
inf(p('Cloud Color', 3),p('Bold', 8)).
inf(p('Cloud Color', 3),p('Node Color', 8)).
inf(p('Cloud Color', 3),p('Blend Color', 8)).
inf(p('Cloud Color', 3),p('Node Background Color', 8)).
inf(p('Cloud Color', 3),p('Remove Node Background Color', 8)).
inf(p('Cloud Color', 3),p('Reset Position', 8)).
inf(p('Cloud Color', 3),p('Cloud Color', 8)).
inf(p('Cloud Color', 3),p('Edge Color', 8)).
inf(p('Cloud Color', 3),p('Edge Style', 8)).
inf(p('Cloud Color', 3),p('Edge Width', 8)).
inf(p('Edge Color', 3),p('Cloud Color', 8)).
inf(p('Edge Style', 3),p('Cloud Color', 8)).
inf(p('Edge Width', 3),p('Cloud Color', 8)).
inf(p('Physical Syle', 3),p('Cloud Color', 9)).
inf(p('Font Syle', 3),p('Cloud Color', 9)).
inf(p('Font Size', 3),p('Cloud Color', 9)).
inf(p('Fork', 3),p('Cloud Color', 9)).
inf(p('Bubble', 3),p('Cloud Color', 9)).
inf(p('Large Font', 3),p('Cloud Color', 9)).
inf(p('Smaller Font', 3),p('Cloud Color', 9)).
inf(p('Italic', 3),p('Cloud Color', 9)).
inf(p('Bold', 3),p('Cloud Color', 9)).
inf(p('Node Color', 3),p('Cloud Color', 9)).
inf(p('Blend Color', 3),p('Cloud Color', 9)).
inf(p('Node Background Color', 3),p('Cloud Color', 9)).
inf(p('Remove Node Background Color', 3),p('Cloud Color', 9)).
inf(p('Reset Position', 3),p('Cloud Color', 9)).
inf(p('Cloud Color', 3),p('Physical Syle', 9)).
inf(p('Cloud Color', 3),p('Font Syle', 9)).
inf(p('Cloud Color', 3),p('Font Size', 9)).
inf(p('Cloud Color', 3),p('Fork', 9)).
inf(p('Cloud Color', 3),p('Bubble', 9)).
inf(p('Cloud Color', 3),p('Large Font', 9)).
inf(p('Cloud Color', 3),p('Smaller Font', 9)).
inf(p('Cloud Color', 3),p('Italic', 9)).
inf(p('Cloud Color', 3),p('Bold', 9)).
inf(p('Cloud Color', 3),p('Node Color', 9)).
inf(p('Cloud Color', 3),p('Blend Color', 9)).
inf(p('Cloud Color', 3),p('Node Background Color', 9)).
inf(p('Cloud Color', 3),p('Remove Node Background Color', 9)).
inf(p('Cloud Color', 3),p('Reset Position', 9)).
inf(p('Cloud Color', 3),p('Cloud Color', 9)).
inf(p('Cloud Color', 3),p('Edge Color', 9)).
inf(p('Cloud Color', 3),p('Edge Style', 9)).
inf(p('Cloud Color', 3),p('Edge Width', 9)).
inf(p('Edge Color', 3),p('Cloud Color', 9)).
inf(p('Edge Style', 3),p('Cloud Color', 9)).
inf(p('Edge Width', 3),p('Cloud Color', 9)).
inf(p('Physical Syle', 4),p('Cloud Color', 5)).
inf(p('Font Syle', 4),p('Cloud Color', 5)).
inf(p('Font Size', 4),p('Cloud Color', 5)).
inf(p('Fork', 4),p('Cloud Color', 5)).
inf(p('Bubble', 4),p('Cloud Color', 5)).
inf(p('Large Font', 4),p('Cloud Color', 5)).
inf(p('Smaller Font', 4),p('Cloud Color', 5)).
inf(p('Italic', 4),p('Cloud Color', 5)).
inf(p('Bold', 4),p('Cloud Color', 5)).
inf(p('Node Color', 4),p('Cloud Color', 5)).
inf(p('Blend Color', 4),p('Cloud Color', 5)).
inf(p('Node Background Color', 4),p('Cloud Color', 5)).
inf(p('Remove Node Background Color', 4),p('Cloud Color', 5)).
inf(p('Reset Position', 4),p('Cloud Color', 5)).
inf(p('Cloud Color', 4),p('Physical Syle', 5)).
inf(p('Cloud Color', 4),p('Font Syle', 5)).
inf(p('Cloud Color', 4),p('Font Size', 5)).
inf(p('Cloud Color', 4),p('Fork', 5)).
inf(p('Cloud Color', 4),p('Bubble', 5)).
inf(p('Cloud Color', 4),p('Large Font', 5)).
inf(p('Cloud Color', 4),p('Smaller Font', 5)).
inf(p('Cloud Color', 4),p('Italic', 5)).
inf(p('Cloud Color', 4),p('Bold', 5)).
inf(p('Cloud Color', 4),p('Node Color', 5)).
inf(p('Cloud Color', 4),p('Blend Color', 5)).
inf(p('Cloud Color', 4),p('Node Background Color', 5)).
inf(p('Cloud Color', 4),p('Remove Node Background Color', 5)).
inf(p('Cloud Color', 4),p('Reset Position', 5)).
inf(p('Cloud Color', 4),p('Cloud Color', 5)).
inf(p('Cloud Color', 4),p('Edge Color', 5)).
inf(p('Cloud Color', 4),p('Edge Style', 5)).
inf(p('Cloud Color', 4),p('Edge Width', 5)).
inf(p('Edge Color', 4),p('Cloud Color', 5)).
inf(p('Edge Style', 4),p('Cloud Color', 5)).
inf(p('Edge Width', 4),p('Cloud Color', 5)).
inf(p('Physical Syle', 4),p('Cloud Color', 6)).
inf(p('Font Syle', 4),p('Cloud Color', 6)).
inf(p('Font Size', 4),p('Cloud Color', 6)).
inf(p('Fork', 4),p('Cloud Color', 6)).
inf(p('Bubble', 4),p('Cloud Color', 6)).
inf(p('Large Font', 4),p('Cloud Color', 6)).
inf(p('Smaller Font', 4),p('Cloud Color', 6)).
inf(p('Italic', 4),p('Cloud Color', 6)).
inf(p('Bold', 4),p('Cloud Color', 6)).
inf(p('Node Color', 4),p('Cloud Color', 6)).
inf(p('Blend Color', 4),p('Cloud Color', 6)).
inf(p('Node Background Color', 4),p('Cloud Color', 6)).
inf(p('Remove Node Background Color', 4),p('Cloud Color', 6)).
inf(p('Reset Position', 4),p('Cloud Color', 6)).
inf(p('Cloud Color', 4),p('Physical Syle', 6)).
inf(p('Cloud Color', 4),p('Font Syle', 6)).
inf(p('Cloud Color', 4),p('Font Size', 6)).
inf(p('Cloud Color', 4),p('Fork', 6)).
inf(p('Cloud Color', 4),p('Bubble', 6)).
inf(p('Cloud Color', 4),p('Large Font', 6)).
inf(p('Cloud Color', 4),p('Smaller Font', 6)).
inf(p('Cloud Color', 4),p('Italic', 6)).
inf(p('Cloud Color', 4),p('Bold', 6)).
inf(p('Cloud Color', 4),p('Node Color', 6)).
inf(p('Cloud Color', 4),p('Blend Color', 6)).
inf(p('Cloud Color', 4),p('Node Background Color', 6)).
inf(p('Cloud Color', 4),p('Remove Node Background Color', 6)).
inf(p('Cloud Color', 4),p('Reset Position', 6)).
inf(p('Cloud Color', 4),p('Cloud Color', 6)).
inf(p('Cloud Color', 4),p('Edge Color', 6)).
inf(p('Cloud Color', 4),p('Edge Style', 6)).
inf(p('Cloud Color', 4),p('Edge Width', 6)).
inf(p('Edge Color', 4),p('Cloud Color', 6)).
inf(p('Edge Style', 4),p('Cloud Color', 6)).
inf(p('Edge Width', 4),p('Cloud Color', 6)).
inf(p('Physical Syle', 4),p('Cloud Color', 7)).
inf(p('Font Syle', 4),p('Cloud Color', 7)).
inf(p('Font Size', 4),p('Cloud Color', 7)).
inf(p('Fork', 4),p('Cloud Color', 7)).
inf(p('Bubble', 4),p('Cloud Color', 7)).
inf(p('Large Font', 4),p('Cloud Color', 7)).
inf(p('Smaller Font', 4),p('Cloud Color', 7)).
inf(p('Italic', 4),p('Cloud Color', 7)).
inf(p('Bold', 4),p('Cloud Color', 7)).
inf(p('Node Color', 4),p('Cloud Color', 7)).
inf(p('Blend Color', 4),p('Cloud Color', 7)).
inf(p('Node Background Color', 4),p('Cloud Color', 7)).
inf(p('Remove Node Background Color', 4),p('Cloud Color', 7)).
inf(p('Reset Position', 4),p('Cloud Color', 7)).
inf(p('Cloud Color', 4),p('Physical Syle', 7)).
inf(p('Cloud Color', 4),p('Font Syle', 7)).
inf(p('Cloud Color', 4),p('Font Size', 7)).
inf(p('Cloud Color', 4),p('Fork', 7)).
inf(p('Cloud Color', 4),p('Bubble', 7)).
inf(p('Cloud Color', 4),p('Large Font', 7)).
inf(p('Cloud Color', 4),p('Smaller Font', 7)).
inf(p('Cloud Color', 4),p('Italic', 7)).
inf(p('Cloud Color', 4),p('Bold', 7)).
inf(p('Cloud Color', 4),p('Node Color', 7)).
inf(p('Cloud Color', 4),p('Blend Color', 7)).
inf(p('Cloud Color', 4),p('Node Background Color', 7)).
inf(p('Cloud Color', 4),p('Remove Node Background Color', 7)).
inf(p('Cloud Color', 4),p('Reset Position', 7)).
inf(p('Cloud Color', 4),p('Cloud Color', 7)).
inf(p('Cloud Color', 4),p('Edge Color', 7)).
inf(p('Cloud Color', 4),p('Edge Style', 7)).
inf(p('Cloud Color', 4),p('Edge Width', 7)).
inf(p('Edge Color', 4),p('Cloud Color', 7)).
inf(p('Edge Style', 4),p('Cloud Color', 7)).
inf(p('Edge Width', 4),p('Cloud Color', 7)).
inf(p('Physical Syle', 4),p('Cloud Color', 8)).
inf(p('Font Syle', 4),p('Cloud Color', 8)).
inf(p('Font Size', 4),p('Cloud Color', 8)).
inf(p('Fork', 4),p('Cloud Color', 8)).
inf(p('Bubble', 4),p('Cloud Color', 8)).
inf(p('Large Font', 4),p('Cloud Color', 8)).
inf(p('Smaller Font', 4),p('Cloud Color', 8)).
inf(p('Italic', 4),p('Cloud Color', 8)).
inf(p('Bold', 4),p('Cloud Color', 8)).
inf(p('Node Color', 4),p('Cloud Color', 8)).
inf(p('Blend Color', 4),p('Cloud Color', 8)).
inf(p('Node Background Color', 4),p('Cloud Color', 8)).
inf(p('Remove Node Background Color', 4),p('Cloud Color', 8)).
inf(p('Reset Position', 4),p('Cloud Color', 8)).
inf(p('Cloud Color', 4),p('Physical Syle', 8)).
inf(p('Cloud Color', 4),p('Font Syle', 8)).
inf(p('Cloud Color', 4),p('Font Size', 8)).
inf(p('Cloud Color', 4),p('Fork', 8)).
inf(p('Cloud Color', 4),p('Bubble', 8)).
inf(p('Cloud Color', 4),p('Large Font', 8)).
inf(p('Cloud Color', 4),p('Smaller Font', 8)).
inf(p('Cloud Color', 4),p('Italic', 8)).
inf(p('Cloud Color', 4),p('Bold', 8)).
inf(p('Cloud Color', 4),p('Node Color', 8)).
inf(p('Cloud Color', 4),p('Blend Color', 8)).
inf(p('Cloud Color', 4),p('Node Background Color', 8)).
inf(p('Cloud Color', 4),p('Remove Node Background Color', 8)).
inf(p('Cloud Color', 4),p('Reset Position', 8)).
inf(p('Cloud Color', 4),p('Cloud Color', 8)).
inf(p('Cloud Color', 4),p('Edge Color', 8)).
inf(p('Cloud Color', 4),p('Edge Style', 8)).
inf(p('Cloud Color', 4),p('Edge Width', 8)).
inf(p('Edge Color', 4),p('Cloud Color', 8)).
inf(p('Edge Style', 4),p('Cloud Color', 8)).
inf(p('Edge Width', 4),p('Cloud Color', 8)).
inf(p('Physical Syle', 4),p('Cloud Color', 9)).
inf(p('Font Syle', 4),p('Cloud Color', 9)).
inf(p('Font Size', 4),p('Cloud Color', 9)).
inf(p('Fork', 4),p('Cloud Color', 9)).
inf(p('Bubble', 4),p('Cloud Color', 9)).
inf(p('Large Font', 4),p('Cloud Color', 9)).
inf(p('Smaller Font', 4),p('Cloud Color', 9)).
inf(p('Italic', 4),p('Cloud Color', 9)).
inf(p('Bold', 4),p('Cloud Color', 9)).
inf(p('Node Color', 4),p('Cloud Color', 9)).
inf(p('Blend Color', 4),p('Cloud Color', 9)).
inf(p('Node Background Color', 4),p('Cloud Color', 9)).
inf(p('Remove Node Background Color', 4),p('Cloud Color', 9)).
inf(p('Reset Position', 4),p('Cloud Color', 9)).
inf(p('Cloud Color', 4),p('Physical Syle', 9)).
inf(p('Cloud Color', 4),p('Font Syle', 9)).
inf(p('Cloud Color', 4),p('Font Size', 9)).
inf(p('Cloud Color', 4),p('Fork', 9)).
inf(p('Cloud Color', 4),p('Bubble', 9)).
inf(p('Cloud Color', 4),p('Large Font', 9)).
inf(p('Cloud Color', 4),p('Smaller Font', 9)).
inf(p('Cloud Color', 4),p('Italic', 9)).
inf(p('Cloud Color', 4),p('Bold', 9)).
inf(p('Cloud Color', 4),p('Node Color', 9)).
inf(p('Cloud Color', 4),p('Blend Color', 9)).
inf(p('Cloud Color', 4),p('Node Background Color', 9)).
inf(p('Cloud Color', 4),p('Remove Node Background Color', 9)).
inf(p('Cloud Color', 4),p('Reset Position', 9)).
inf(p('Cloud Color', 4),p('Cloud Color', 9)).
inf(p('Cloud Color', 4),p('Edge Color', 9)).
inf(p('Cloud Color', 4),p('Edge Style', 9)).
inf(p('Cloud Color', 4),p('Edge Width', 9)).
inf(p('Edge Color', 4),p('Cloud Color', 9)).
inf(p('Edge Style', 4),p('Cloud Color', 9)).
inf(p('Edge Width', 4),p('Cloud Color', 9)).
inf(p('Physical Syle', 5),p('Cloud Color', 6)).
inf(p('Font Syle', 5),p('Cloud Color', 6)).
inf(p('Font Size', 5),p('Cloud Color', 6)).
inf(p('Fork', 5),p('Cloud Color', 6)).
inf(p('Bubble', 5),p('Cloud Color', 6)).
inf(p('Large Font', 5),p('Cloud Color', 6)).
inf(p('Smaller Font', 5),p('Cloud Color', 6)).
inf(p('Italic', 5),p('Cloud Color', 6)).
inf(p('Bold', 5),p('Cloud Color', 6)).
inf(p('Node Color', 5),p('Cloud Color', 6)).
inf(p('Blend Color', 5),p('Cloud Color', 6)).
inf(p('Node Background Color', 5),p('Cloud Color', 6)).
inf(p('Remove Node Background Color', 5),p('Cloud Color', 6)).
inf(p('Reset Position', 5),p('Cloud Color', 6)).
inf(p('Cloud Color', 5),p('Physical Syle', 6)).
inf(p('Cloud Color', 5),p('Font Syle', 6)).
inf(p('Cloud Color', 5),p('Font Size', 6)).
inf(p('Cloud Color', 5),p('Fork', 6)).
inf(p('Cloud Color', 5),p('Bubble', 6)).
inf(p('Cloud Color', 5),p('Large Font', 6)).
inf(p('Cloud Color', 5),p('Smaller Font', 6)).
inf(p('Cloud Color', 5),p('Italic', 6)).
inf(p('Cloud Color', 5),p('Bold', 6)).
inf(p('Cloud Color', 5),p('Node Color', 6)).
inf(p('Cloud Color', 5),p('Blend Color', 6)).
inf(p('Cloud Color', 5),p('Node Background Color', 6)).
inf(p('Cloud Color', 5),p('Remove Node Background Color', 6)).
inf(p('Cloud Color', 5),p('Reset Position', 6)).
inf(p('Cloud Color', 5),p('Cloud Color', 6)).
inf(p('Cloud Color', 5),p('Edge Color', 6)).
inf(p('Cloud Color', 5),p('Edge Style', 6)).
inf(p('Cloud Color', 5),p('Edge Width', 6)).
inf(p('Edge Color', 5),p('Cloud Color', 6)).
inf(p('Edge Style', 5),p('Cloud Color', 6)).
inf(p('Edge Width', 5),p('Cloud Color', 6)).
inf(p('Physical Syle', 5),p('Cloud Color', 7)).
inf(p('Font Syle', 5),p('Cloud Color', 7)).
inf(p('Font Size', 5),p('Cloud Color', 7)).
inf(p('Fork', 5),p('Cloud Color', 7)).
inf(p('Bubble', 5),p('Cloud Color', 7)).
inf(p('Large Font', 5),p('Cloud Color', 7)).
inf(p('Smaller Font', 5),p('Cloud Color', 7)).
inf(p('Italic', 5),p('Cloud Color', 7)).
inf(p('Bold', 5),p('Cloud Color', 7)).
inf(p('Node Color', 5),p('Cloud Color', 7)).
inf(p('Blend Color', 5),p('Cloud Color', 7)).
inf(p('Node Background Color', 5),p('Cloud Color', 7)).
inf(p('Remove Node Background Color', 5),p('Cloud Color', 7)).
inf(p('Reset Position', 5),p('Cloud Color', 7)).
inf(p('Cloud Color', 5),p('Physical Syle', 7)).
inf(p('Cloud Color', 5),p('Font Syle', 7)).
inf(p('Cloud Color', 5),p('Font Size', 7)).
inf(p('Cloud Color', 5),p('Fork', 7)).
inf(p('Cloud Color', 5),p('Bubble', 7)).
inf(p('Cloud Color', 5),p('Large Font', 7)).
inf(p('Cloud Color', 5),p('Smaller Font', 7)).
inf(p('Cloud Color', 5),p('Italic', 7)).
inf(p('Cloud Color', 5),p('Bold', 7)).
inf(p('Cloud Color', 5),p('Node Color', 7)).
inf(p('Cloud Color', 5),p('Blend Color', 7)).
inf(p('Cloud Color', 5),p('Node Background Color', 7)).
inf(p('Cloud Color', 5),p('Remove Node Background Color', 7)).
inf(p('Cloud Color', 5),p('Reset Position', 7)).
inf(p('Cloud Color', 5),p('Cloud Color', 7)).
inf(p('Cloud Color', 5),p('Edge Color', 7)).
inf(p('Cloud Color', 5),p('Edge Style', 7)).
inf(p('Cloud Color', 5),p('Edge Width', 7)).
inf(p('Edge Color', 5),p('Cloud Color', 7)).
inf(p('Edge Style', 5),p('Cloud Color', 7)).
inf(p('Edge Width', 5),p('Cloud Color', 7)).
inf(p('Physical Syle', 5),p('Cloud Color', 8)).
inf(p('Font Syle', 5),p('Cloud Color', 8)).
inf(p('Font Size', 5),p('Cloud Color', 8)).
inf(p('Fork', 5),p('Cloud Color', 8)).
inf(p('Bubble', 5),p('Cloud Color', 8)).
inf(p('Large Font', 5),p('Cloud Color', 8)).
inf(p('Smaller Font', 5),p('Cloud Color', 8)).
inf(p('Italic', 5),p('Cloud Color', 8)).
inf(p('Bold', 5),p('Cloud Color', 8)).
inf(p('Node Color', 5),p('Cloud Color', 8)).
inf(p('Blend Color', 5),p('Cloud Color', 8)).
inf(p('Node Background Color', 5),p('Cloud Color', 8)).
inf(p('Remove Node Background Color', 5),p('Cloud Color', 8)).
inf(p('Reset Position', 5),p('Cloud Color', 8)).
inf(p('Cloud Color', 5),p('Physical Syle', 8)).
inf(p('Cloud Color', 5),p('Font Syle', 8)).
inf(p('Cloud Color', 5),p('Font Size', 8)).
inf(p('Cloud Color', 5),p('Fork', 8)).
inf(p('Cloud Color', 5),p('Bubble', 8)).
inf(p('Cloud Color', 5),p('Large Font', 8)).
inf(p('Cloud Color', 5),p('Smaller Font', 8)).
inf(p('Cloud Color', 5),p('Italic', 8)).
inf(p('Cloud Color', 5),p('Bold', 8)).
inf(p('Cloud Color', 5),p('Node Color', 8)).
inf(p('Cloud Color', 5),p('Blend Color', 8)).
inf(p('Cloud Color', 5),p('Node Background Color', 8)).
inf(p('Cloud Color', 5),p('Remove Node Background Color', 8)).
inf(p('Cloud Color', 5),p('Reset Position', 8)).
inf(p('Cloud Color', 5),p('Cloud Color', 8)).
inf(p('Cloud Color', 5),p('Edge Color', 8)).
inf(p('Cloud Color', 5),p('Edge Style', 8)).
inf(p('Cloud Color', 5),p('Edge Width', 8)).
inf(p('Edge Color', 5),p('Cloud Color', 8)).
inf(p('Edge Style', 5),p('Cloud Color', 8)).
inf(p('Edge Width', 5),p('Cloud Color', 8)).
inf(p('Physical Syle', 5),p('Cloud Color', 9)).
inf(p('Font Syle', 5),p('Cloud Color', 9)).
inf(p('Font Size', 5),p('Cloud Color', 9)).
inf(p('Fork', 5),p('Cloud Color', 9)).
inf(p('Bubble', 5),p('Cloud Color', 9)).
inf(p('Large Font', 5),p('Cloud Color', 9)).
inf(p('Smaller Font', 5),p('Cloud Color', 9)).
inf(p('Italic', 5),p('Cloud Color', 9)).
inf(p('Bold', 5),p('Cloud Color', 9)).
inf(p('Node Color', 5),p('Cloud Color', 9)).
inf(p('Blend Color', 5),p('Cloud Color', 9)).
inf(p('Node Background Color', 5),p('Cloud Color', 9)).
inf(p('Remove Node Background Color', 5),p('Cloud Color', 9)).
inf(p('Reset Position', 5),p('Cloud Color', 9)).
inf(p('Cloud Color', 5),p('Physical Syle', 9)).
inf(p('Cloud Color', 5),p('Font Syle', 9)).
inf(p('Cloud Color', 5),p('Font Size', 9)).
inf(p('Cloud Color', 5),p('Fork', 9)).
inf(p('Cloud Color', 5),p('Bubble', 9)).
inf(p('Cloud Color', 5),p('Large Font', 9)).
inf(p('Cloud Color', 5),p('Smaller Font', 9)).
inf(p('Cloud Color', 5),p('Italic', 9)).
inf(p('Cloud Color', 5),p('Bold', 9)).
inf(p('Cloud Color', 5),p('Node Color', 9)).
inf(p('Cloud Color', 5),p('Blend Color', 9)).
inf(p('Cloud Color', 5),p('Node Background Color', 9)).
inf(p('Cloud Color', 5),p('Remove Node Background Color', 9)).
inf(p('Cloud Color', 5),p('Reset Position', 9)).
inf(p('Cloud Color', 5),p('Cloud Color', 9)).
inf(p('Cloud Color', 5),p('Edge Color', 9)).
inf(p('Cloud Color', 5),p('Edge Style', 9)).
inf(p('Cloud Color', 5),p('Edge Width', 9)).
inf(p('Edge Color', 5),p('Cloud Color', 9)).
inf(p('Edge Style', 5),p('Cloud Color', 9)).
inf(p('Edge Width', 5),p('Cloud Color', 9)).
inf(p('Physical Syle', 6),p('Cloud Color', 7)).
inf(p('Font Syle', 6),p('Cloud Color', 7)).
inf(p('Font Size', 6),p('Cloud Color', 7)).
inf(p('Fork', 6),p('Cloud Color', 7)).
inf(p('Bubble', 6),p('Cloud Color', 7)).
inf(p('Large Font', 6),p('Cloud Color', 7)).
inf(p('Smaller Font', 6),p('Cloud Color', 7)).
inf(p('Italic', 6),p('Cloud Color', 7)).
inf(p('Bold', 6),p('Cloud Color', 7)).
inf(p('Node Color', 6),p('Cloud Color', 7)).
inf(p('Blend Color', 6),p('Cloud Color', 7)).
inf(p('Node Background Color', 6),p('Cloud Color', 7)).
inf(p('Remove Node Background Color', 6),p('Cloud Color', 7)).
inf(p('Reset Position', 6),p('Cloud Color', 7)).
inf(p('Cloud Color', 6),p('Physical Syle', 7)).
inf(p('Cloud Color', 6),p('Font Syle', 7)).
inf(p('Cloud Color', 6),p('Font Size', 7)).
inf(p('Cloud Color', 6),p('Fork', 7)).
inf(p('Cloud Color', 6),p('Bubble', 7)).
inf(p('Cloud Color', 6),p('Large Font', 7)).
inf(p('Cloud Color', 6),p('Smaller Font', 7)).
inf(p('Cloud Color', 6),p('Italic', 7)).
inf(p('Cloud Color', 6),p('Bold', 7)).
inf(p('Cloud Color', 6),p('Node Color', 7)).
inf(p('Cloud Color', 6),p('Blend Color', 7)).
inf(p('Cloud Color', 6),p('Node Background Color', 7)).
inf(p('Cloud Color', 6),p('Remove Node Background Color', 7)).
inf(p('Cloud Color', 6),p('Reset Position', 7)).
inf(p('Cloud Color', 6),p('Cloud Color', 7)).
inf(p('Cloud Color', 6),p('Edge Color', 7)).
inf(p('Cloud Color', 6),p('Edge Style', 7)).
inf(p('Cloud Color', 6),p('Edge Width', 7)).
inf(p('Edge Color', 6),p('Cloud Color', 7)).
inf(p('Edge Style', 6),p('Cloud Color', 7)).
inf(p('Edge Width', 6),p('Cloud Color', 7)).
inf(p('Physical Syle', 6),p('Cloud Color', 8)).
inf(p('Font Syle', 6),p('Cloud Color', 8)).
inf(p('Font Size', 6),p('Cloud Color', 8)).
inf(p('Fork', 6),p('Cloud Color', 8)).
inf(p('Bubble', 6),p('Cloud Color', 8)).
inf(p('Large Font', 6),p('Cloud Color', 8)).
inf(p('Smaller Font', 6),p('Cloud Color', 8)).
inf(p('Italic', 6),p('Cloud Color', 8)).
inf(p('Bold', 6),p('Cloud Color', 8)).
inf(p('Node Color', 6),p('Cloud Color', 8)).
inf(p('Blend Color', 6),p('Cloud Color', 8)).
inf(p('Node Background Color', 6),p('Cloud Color', 8)).
inf(p('Remove Node Background Color', 6),p('Cloud Color', 8)).
inf(p('Reset Position', 6),p('Cloud Color', 8)).
inf(p('Cloud Color', 6),p('Physical Syle', 8)).
inf(p('Cloud Color', 6),p('Font Syle', 8)).
inf(p('Cloud Color', 6),p('Font Size', 8)).
inf(p('Cloud Color', 6),p('Fork', 8)).
inf(p('Cloud Color', 6),p('Bubble', 8)).
inf(p('Cloud Color', 6),p('Large Font', 8)).
inf(p('Cloud Color', 6),p('Smaller Font', 8)).
inf(p('Cloud Color', 6),p('Italic', 8)).
inf(p('Cloud Color', 6),p('Bold', 8)).
inf(p('Cloud Color', 6),p('Node Color', 8)).
inf(p('Cloud Color', 6),p('Blend Color', 8)).
inf(p('Cloud Color', 6),p('Node Background Color', 8)).
inf(p('Cloud Color', 6),p('Remove Node Background Color', 8)).
inf(p('Cloud Color', 6),p('Reset Position', 8)).
inf(p('Cloud Color', 6),p('Cloud Color', 8)).
inf(p('Cloud Color', 6),p('Edge Color', 8)).
inf(p('Cloud Color', 6),p('Edge Style', 8)).
inf(p('Cloud Color', 6),p('Edge Width', 8)).
inf(p('Edge Color', 6),p('Cloud Color', 8)).
inf(p('Edge Style', 6),p('Cloud Color', 8)).
inf(p('Edge Width', 6),p('Cloud Color', 8)).
inf(p('Physical Syle', 6),p('Cloud Color', 9)).
inf(p('Font Syle', 6),p('Cloud Color', 9)).
inf(p('Font Size', 6),p('Cloud Color', 9)).
inf(p('Fork', 6),p('Cloud Color', 9)).
inf(p('Bubble', 6),p('Cloud Color', 9)).
inf(p('Large Font', 6),p('Cloud Color', 9)).
inf(p('Smaller Font', 6),p('Cloud Color', 9)).
inf(p('Italic', 6),p('Cloud Color', 9)).
inf(p('Bold', 6),p('Cloud Color', 9)).
inf(p('Node Color', 6),p('Cloud Color', 9)).
inf(p('Blend Color', 6),p('Cloud Color', 9)).
inf(p('Node Background Color', 6),p('Cloud Color', 9)).
inf(p('Remove Node Background Color', 6),p('Cloud Color', 9)).
inf(p('Reset Position', 6),p('Cloud Color', 9)).
inf(p('Cloud Color', 6),p('Physical Syle', 9)).
inf(p('Cloud Color', 6),p('Font Syle', 9)).
inf(p('Cloud Color', 6),p('Font Size', 9)).
inf(p('Cloud Color', 6),p('Fork', 9)).
inf(p('Cloud Color', 6),p('Bubble', 9)).
inf(p('Cloud Color', 6),p('Large Font', 9)).
inf(p('Cloud Color', 6),p('Smaller Font', 9)).
inf(p('Cloud Color', 6),p('Italic', 9)).
inf(p('Cloud Color', 6),p('Bold', 9)).
inf(p('Cloud Color', 6),p('Node Color', 9)).
inf(p('Cloud Color', 6),p('Blend Color', 9)).
inf(p('Cloud Color', 6),p('Node Background Color', 9)).
inf(p('Cloud Color', 6),p('Remove Node Background Color', 9)).
inf(p('Cloud Color', 6),p('Reset Position', 9)).
inf(p('Cloud Color', 6),p('Cloud Color', 9)).
inf(p('Cloud Color', 6),p('Edge Color', 9)).
inf(p('Cloud Color', 6),p('Edge Style', 9)).
inf(p('Cloud Color', 6),p('Edge Width', 9)).
inf(p('Edge Color', 6),p('Cloud Color', 9)).
inf(p('Edge Style', 6),p('Cloud Color', 9)).
inf(p('Edge Width', 6),p('Cloud Color', 9)).
inf(p('Physical Syle', 7),p('Cloud Color', 8)).
inf(p('Font Syle', 7),p('Cloud Color', 8)).
inf(p('Font Size', 7),p('Cloud Color', 8)).
inf(p('Fork', 7),p('Cloud Color', 8)).
inf(p('Bubble', 7),p('Cloud Color', 8)).
inf(p('Large Font', 7),p('Cloud Color', 8)).
inf(p('Smaller Font', 7),p('Cloud Color', 8)).
inf(p('Italic', 7),p('Cloud Color', 8)).
inf(p('Bold', 7),p('Cloud Color', 8)).
inf(p('Node Color', 7),p('Cloud Color', 8)).
inf(p('Blend Color', 7),p('Cloud Color', 8)).
inf(p('Node Background Color', 7),p('Cloud Color', 8)).
inf(p('Remove Node Background Color', 7),p('Cloud Color', 8)).
inf(p('Reset Position', 7),p('Cloud Color', 8)).
inf(p('Cloud Color', 7),p('Physical Syle', 8)).
inf(p('Cloud Color', 7),p('Font Syle', 8)).
inf(p('Cloud Color', 7),p('Font Size', 8)).
inf(p('Cloud Color', 7),p('Fork', 8)).
inf(p('Cloud Color', 7),p('Bubble', 8)).
inf(p('Cloud Color', 7),p('Large Font', 8)).
inf(p('Cloud Color', 7),p('Smaller Font', 8)).
inf(p('Cloud Color', 7),p('Italic', 8)).
inf(p('Cloud Color', 7),p('Bold', 8)).
inf(p('Cloud Color', 7),p('Node Color', 8)).
inf(p('Cloud Color', 7),p('Blend Color', 8)).
inf(p('Cloud Color', 7),p('Node Background Color', 8)).
inf(p('Cloud Color', 7),p('Remove Node Background Color', 8)).
inf(p('Cloud Color', 7),p('Reset Position', 8)).
inf(p('Cloud Color', 7),p('Cloud Color', 8)).
inf(p('Cloud Color', 7),p('Edge Color', 8)).
inf(p('Cloud Color', 7),p('Edge Style', 8)).
inf(p('Cloud Color', 7),p('Edge Width', 8)).
inf(p('Edge Color', 7),p('Cloud Color', 8)).
inf(p('Edge Style', 7),p('Cloud Color', 8)).
inf(p('Edge Width', 7),p('Cloud Color', 8)).
inf(p('Physical Syle', 7),p('Cloud Color', 9)).
inf(p('Font Syle', 7),p('Cloud Color', 9)).
inf(p('Font Size', 7),p('Cloud Color', 9)).
inf(p('Fork', 7),p('Cloud Color', 9)).
inf(p('Bubble', 7),p('Cloud Color', 9)).
inf(p('Large Font', 7),p('Cloud Color', 9)).
inf(p('Smaller Font', 7),p('Cloud Color', 9)).
inf(p('Italic', 7),p('Cloud Color', 9)).
inf(p('Bold', 7),p('Cloud Color', 9)).
inf(p('Node Color', 7),p('Cloud Color', 9)).
inf(p('Blend Color', 7),p('Cloud Color', 9)).
inf(p('Node Background Color', 7),p('Cloud Color', 9)).
inf(p('Remove Node Background Color', 7),p('Cloud Color', 9)).
inf(p('Reset Position', 7),p('Cloud Color', 9)).
inf(p('Cloud Color', 7),p('Physical Syle', 9)).
inf(p('Cloud Color', 7),p('Font Syle', 9)).
inf(p('Cloud Color', 7),p('Font Size', 9)).
inf(p('Cloud Color', 7),p('Fork', 9)).
inf(p('Cloud Color', 7),p('Bubble', 9)).
inf(p('Cloud Color', 7),p('Large Font', 9)).
inf(p('Cloud Color', 7),p('Smaller Font', 9)).
inf(p('Cloud Color', 7),p('Italic', 9)).
inf(p('Cloud Color', 7),p('Bold', 9)).
inf(p('Cloud Color', 7),p('Node Color', 9)).
inf(p('Cloud Color', 7),p('Blend Color', 9)).
inf(p('Cloud Color', 7),p('Node Background Color', 9)).
inf(p('Cloud Color', 7),p('Remove Node Background Color', 9)).
inf(p('Cloud Color', 7),p('Reset Position', 9)).
inf(p('Cloud Color', 7),p('Cloud Color', 9)).
inf(p('Cloud Color', 7),p('Edge Color', 9)).
inf(p('Cloud Color', 7),p('Edge Style', 9)).
inf(p('Cloud Color', 7),p('Edge Width', 9)).
inf(p('Edge Color', 7),p('Cloud Color', 9)).
inf(p('Edge Style', 7),p('Cloud Color', 9)).
inf(p('Edge Width', 7),p('Cloud Color', 9)).
inf(p('Physical Syle', 8),p('Cloud Color', 9)).
inf(p('Font Syle', 8),p('Cloud Color', 9)).
inf(p('Font Size', 8),p('Cloud Color', 9)).
inf(p('Fork', 8),p('Cloud Color', 9)).
inf(p('Bubble', 8),p('Cloud Color', 9)).
inf(p('Large Font', 8),p('Cloud Color', 9)).
inf(p('Smaller Font', 8),p('Cloud Color', 9)).
inf(p('Italic', 8),p('Cloud Color', 9)).
inf(p('Bold', 8),p('Cloud Color', 9)).
inf(p('Node Color', 8),p('Cloud Color', 9)).
inf(p('Blend Color', 8),p('Cloud Color', 9)).
inf(p('Node Background Color', 8),p('Cloud Color', 9)).
inf(p('Remove Node Background Color', 8),p('Cloud Color', 9)).
inf(p('Reset Position', 8),p('Cloud Color', 9)).
inf(p('Cloud Color', 8),p('Physical Syle', 9)).
inf(p('Cloud Color', 8),p('Font Syle', 9)).
inf(p('Cloud Color', 8),p('Font Size', 9)).
inf(p('Cloud Color', 8),p('Fork', 9)).
inf(p('Cloud Color', 8),p('Bubble', 9)).
inf(p('Cloud Color', 8),p('Large Font', 9)).
inf(p('Cloud Color', 8),p('Smaller Font', 9)).
inf(p('Cloud Color', 8),p('Italic', 9)).
inf(p('Cloud Color', 8),p('Bold', 9)).
inf(p('Cloud Color', 8),p('Node Color', 9)).
inf(p('Cloud Color', 8),p('Blend Color', 9)).
inf(p('Cloud Color', 8),p('Node Background Color', 9)).
inf(p('Cloud Color', 8),p('Remove Node Background Color', 9)).
inf(p('Cloud Color', 8),p('Reset Position', 9)).
inf(p('Cloud Color', 8),p('Cloud Color', 9)).
inf(p('Cloud Color', 8),p('Edge Color', 9)).
inf(p('Cloud Color', 8),p('Edge Style', 9)).
inf(p('Cloud Color', 8),p('Edge Width', 9)).
inf(p('Edge Color', 8),p('Cloud Color', 9)).
inf(p('Edge Style', 8),p('Cloud Color', 9)).
inf(p('Edge Width', 8),p('Cloud Color', 9)).