Attempto Controlled English v1
This video has created on 16/May/2023 based on the Wikipedia article with the same name:
https://en.wikipedia.org/wiki/Attempto_Controlled_English
The video can be downloaded here.