% Warning: singleton variables X at line 4 of singleton_example.pl
   true.