Semantics 2

Key:

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 of _
R = _is directly below of _
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, k}
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) = 2
F(k) = 3