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

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