Assuming that Socratrees supports adding existing statements as supporting or opposing statements to other statements does it support that Socratrees introduces functionality specific to argumentation ?