I'm really interested in this.

I follow the field fairly closely, I've implemented an open language question answering system myself, as well as re-implemented parts of the Watson QA system form their papers. I've built NN based entailment systems, and I built a text summarisation system which still wins benchmark competitions 15 years after it was built. Also, I use Superset (AirBNB's opensource Tableau competitor) daily.

Basically, I'm not a complete neophyte in this and related fields.

But I don't have a clue what this system does.

I know Prolog and some about CCG. But the it talks about Tableau and I'm completely lost.

Can someone please explain?