The QVTR folder contains the skeleton of an instance of Logic.Logic for the queryviewtransformation language defined by OMG and used in the context of UML and model driven engineering, see https://en.wikipedia.org/wiki/QVT.