6C Practice: Diagramming in the Modern Interpretation - Standard-form translations, and using Venn diagrams to determine whether categorical syllogisms are valid or invalid under the modern interpretation