1[22:30] joaquin@:test_justification$ scasp --human fever3.pl
    2RENAMED_QUERY:	?- diagnosis(Pedro,A).
    3
    4	ANSWER:	1 (in 0.304 ms)
    5
    6JUSTIFICATION_TREE:
    7The diagnosis for Pedro with a temperature of 39 is that:
    8    Pedro has a fever
    9        
   10            The registered temperarture of Pedro is 39
   11        
   12            
   13        
   14            
   15                
   16                
   17
   18MODEL:
   19diagnosis(Pedro,39) ,  fever(Pedro,39) ,  temp(Pedro,39) ,  reg_temp(Pedro,39) ,  high_temp(39) ,  not no_fever(Pedro,39)
   20
   21BINDINGS: 
   22A is 39 ? ;
   23
   24[22:30] joaquin@:test_justification$ scasp --human fever3.pl
   25RENAMED_QUERY:	?- diagnosis(Juan,A).
   26
   27	ANSWER:	1 (in 0.908 ms)
   28
   29JUSTIFICATION_TREE:
   30The diagnosis for Juan with a temperature of 37 is that:
   31    Juan has no fever
   32        
   33            The registered temperarture of Juan is 37
   34        
   35            
   36                
   37        
   38            
   39                
   40                
   41
   42MODEL:
   43diagnosis(Juan,37) ,  no_fever(Juan,37) ,  temp(Juan,37) ,  reg_temp(Juan,37) ,  not high_temp(37) ,  not fever(Juan,37)
   44
   45BINDINGS: 
   46A is 37 ? ;
   47
   48[22:30] joaquin@:test_justification$ scasp --human fever3.pl
   49RENAMED_QUERY:	?- diagnosis(Luisa,A).
   50
   51	ANSWER:	1 (in 0.756 ms)
   52
   53JUSTIFICATION_TREE:
   54The diagnosis for Luisa with a temperature of A greater than 38 is that:
   55    Luisa has a fever
   56        
   57            There are no registerd temperature of Luisa
   58                
   59                    
   60                        
   61                            We do not have a registered temperature for Luisa of B
   62                                
   63                                    
   64                                
   65                                    
   66        
   67            
   68        
   69            
   70                
   71                    There are no registerd temperature of Luisa, as we saw before
   72                
   73                    
   74
   75MODEL:
   76diagnosis(Luisa,A │{A#>38}) ,  fever(Luisa,A │{A#>38}) ,  temp(Luisa,A │{A#>38}) ,  not reg_person(Luisa) ,  not reg_temp(Luisa,B) ,  high_temp(A │{A#>38}) ,  not no_fever(Luisa,A │{A#>38}) ,  temp(Luisa,A │{A#>38}) ,  high_temp(A │{A#>38})
   77
   78BINDINGS: 
   79A is A greater than 38 ? ;
   80
   81
   82	ANSWER:	2 (in 1.135 ms)
   83
   84JUSTIFICATION_TREE:
   85The diagnosis for Luisa with a temperature of A less or equal 38 is that:
   86    Luisa has no fever
   87        
   88            There are no registerd temperature of Luisa
   89                
   90                    
   91                        
   92                            We do not have a registered temperature for Luisa of B
   93                                
   94                                    
   95                                
   96                                    
   97        
   98            
   99                
  100        
  101            
  102                
  103                    There are no registerd temperature of Luisa, as we saw before
  104                
  105                    
  106                        
  107
  108MODEL:
  109diagnosis(Luisa,A │{A#=<38}) ,  no_fever(Luisa,A │{A#=<38}) ,  temp(Luisa,A │{A#=<38}) ,  not reg_person(Luisa) ,  not reg_temp(Luisa,B) ,  not high_temp(A │{A#=<38}) ,  not fever(Luisa,A │{A#=<38}) ,  temp(Luisa,A │{A#=<38}) ,  not high_temp(A │{A#=<38})
  110
  111BINDINGS: 
  112A is A less or equal 38 ? ;
  113
  114[22:30] joaquin@:test_justification$