Semantics 2

Header text	Header text	Header text
Z1	Example	Example
A1 = _is a circle	Example	Example
B1 = _is a triangle	Example	Example
C1 = _is a square	Example	Example
D1 = _is green	Example	Example
E1 = _is red	Example	Example
G1 = _is blue	Example	Example

Key:

Z¹ = _is an element
A¹ = _is a circle
B¹ = _is a triangle
C¹ = _is a square
D¹ = _is green
E¹ = _is red
G¹ = _is blue
H¹ = _is big
J¹ = _is medium
K¹ = _is small
L¹ = _is big
N² = _is bigger than _
O² = _is smaller than _
P² = _has the same size as _
Q² = _is directly above _
R² = _is directly below _
S² = _is directly to the left of _
T² = _is directly to the right of _
W³ = _is directly between _ and _

Name = {a, b, c, d, e, f}
Const = {A, B, C, D, E, G, H, J, K, L N, O, P, Q, R S, T, W}

M = <U, F> such that
U = {1, 2, 3, 4, 5, 6}
F(a) = 1
F(b) = 2
F(c) = 3
F(d) = 4
F(e) = 5
F(f) = 6