sraseldau lujvo

d2=s2 is a pro/pro-argument (P) supporting thesis statement/another argument s2 against contra-argument d3, by arguer d1.