Representational Tools in Computer-Supported Collaborative Argumentation-Based Learning: How Dyads Work With Constructed and Inspected Argumentative Diagrams | Synapse