FOL with tree 2017.jpg