I have added a landing page for our "Dataset for Grounding of Formulae, Version 1".
The repository of the actual dataset mentioned as "download link" also has been prepared.
Please kindly check all the changes to the website are fine for you.