%%% A sample query.
%%% Author: Roberto Virga.

%query 1 *
P : laplace (
      (  0 ,   0 ,   0 ,   0 ,   0 , nil) ;
      (100 ,   R ,   S ,   T , 100 , nil) ;
      (100 ,   U ,   V ,   W , 100 , nil) ;
      (100 ,   X ,   Y ,   Z , 100 , nil) ;
      (100 , 100 , 100 , 100 , 100 , nil) ;
      lnil
    ).