definitions to 0 and 1 [...] the table are not

NOT {myfun{$var [...] 10 AND BOOL BOOL [...] , LREAL NOT BOOL BOOL