Remove 'satisfies' from operator table

Not yet supported!