Semantics 2

Key:

Z1 = _<span is an element	H1 = _ is big	Q2 = _ is directly above _
A1 = _ is a circle	J1 = _ is medium	R2 = _ is directly below _
B1 = _ is a triangle	K1 = _ is small	S2 = _ is directly to the left of _
C1 = _ is a square	L1 = _ is big	T2 = _ is directly to the right of _
D1 = _ is green	N2 = _ is bigger than _	W3 = _ is directly between _ and _
E1 = _ is red	O2 = _ is smaller than _	Q2 = _ is directly above _
G1 = _ is blue	P2 = _ has the same size as _

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

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