Investigating logic tensor networks for neural-symbolic argument mining