How much logical structure is helpful in content-based argumentation software for legal case solving?