tolsraseldau lujvo

d2=s2 is a con/contra-argument (C) against argument s2, by arguer d1.