Remove 'satisfies' from operator table

Not yet supported!
Merge pull request #1024 from lucaswerkmeister/removeSatisfied

Remove 'satisfies' from spec operator table