Fourth Conference on Computational Natural Language Learning and the Second Learning Language in Logic Workshop