Learning Semantic Structure through First-Order-Logic Translation