Reviewer

We thank the reviewers for the insightful and helpful comments. Minor remarks will be reflected in the text. The reviewer raises the very relevant issue of applicability, both theoretical and practical. Also, the practical applicability of our work depends on a reasoner for some relevant fragment of first order logic. The improvements made to reasoners, e.g.