class UppercasePropositions(Vars): A, B, C = props("A B C") D, E, F = props("D E F") G, H, I = props("G H I") J, K, L = props("J K L") M, N, O = props("M N O") P, Q, R = props("P Q R") S, T, U = props("S T U") V, W, X = props("V W X") Y, Z = props("Y Z")
class LowercasePropositions(Vars): a, b, c = props("a b c") d, e, f = props("d e f") g, h, i = props("g h i") j, k, l = props("j k l") m, n, o = props("m n o") p, q, r = props("p q r") s, t, u = props("s t u") v, w, x = props("v w x") y, z = props("y z")