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")
