1array [1..2] of int: X_INTRODUCED_1 = [1,-1]; 2var {1,2,4,5}: pistol:: output_var; 3var 1..5: umbrella:: output_var; 4var 2..2: cigarette:: output_var; 5var {2,4,5}: letter:: output_var; 6var 1..5: argue:: output_var; 7var 1..5: rang:: output_var; 8var 4..4: walk:: output_var; 9var 2..5: murder:: output_var; 10var 1..1: harassed:: output_var; 11var 1..5: abandoned:: output_var; 12var 1..5: sacked:: output_var; 13var {1,2,4,5}: hate:: output_var; 14array [1..5] of var int: objects = [pistol,umbrella,2,hate,letter]; 15array [1..5] of var int: actions = [argue,umbrella,rang,4,murder]; 16array [1..5] of var int: motives = [1,abandoned,sacked,argue,hate]; 17constraint int_lin_ne([-1],[abandoned],-1); 18constraint int_lin_ne([-1],[sacked],-1); 19constraint int_lin_ne([-1],[argue],-1); 20constraint int_lin_ne([-1],[hate],-1); 21constraint int_lin_ne(X_INTRODUCED_1,[abandoned,sacked],0); 22constraint int_lin_ne(X_INTRODUCED_1,[abandoned,argue],0); 23constraint int_lin_ne(X_INTRODUCED_1,[abandoned,hate],0); 24constraint int_lin_ne(X_INTRODUCED_1,[sacked,argue],0); 25constraint int_lin_ne(X_INTRODUCED_1,[sacked,hate],0); 26constraint int_lin_ne(X_INTRODUCED_1,[argue,hate],0); 27constraint int_lin_ne(X_INTRODUCED_1,[pistol,umbrella],0); 28constraint int_lin_ne([1],[pistol],2); 29constraint int_lin_ne(X_INTRODUCED_1,[pistol,hate],0); 30constraint int_lin_ne(X_INTRODUCED_1,[pistol,letter],0); 31constraint int_lin_ne([1],[umbrella],2); 32constraint int_lin_ne(X_INTRODUCED_1,[umbrella,hate],0); 33constraint int_lin_ne(X_INTRODUCED_1,[umbrella,letter],0); 34constraint int_lin_ne([-1],[hate],-2); 35constraint int_lin_ne([-1],[letter],-2); 36constraint int_lin_ne(X_INTRODUCED_1,[hate,letter],0); 37constraint int_lin_ne(X_INTRODUCED_1,[argue,umbrella],0); 38constraint int_lin_ne(X_INTRODUCED_1,[argue,rang],0); 39constraint int_lin_ne([1],[argue],4); 40constraint int_lin_ne(X_INTRODUCED_1,[argue,murder],0); 41constraint int_lin_ne(X_INTRODUCED_1,[umbrella,rang],0); 42constraint int_lin_ne([1],[umbrella],4); 43constraint int_lin_ne(X_INTRODUCED_1,[umbrella,murder],0); 44constraint int_lin_ne([1],[rang],4); 45constraint int_lin_ne(X_INTRODUCED_1,[rang,murder],0); 46constraint int_lin_ne([-1],[murder],-4); 47constraint int_lin_ne(X_INTRODUCED_1,[sacked,letter],0); 48solve satisfy; 49