This domain has recently been registered with Namecheap.
operationalsemantics.com