The electronic circuits domain
		4. Encode general knowledge of the domain ¡ t1,t2 Connected(t1, t2)  Signal(t1) = Signal(t2) ¡ t Signal(t) = 1  Signal(t) = 0 ¡ 1 ≠ 0 ¡ t1,t2 Connected(t1, t2)  Connected(t2, t1) ¡ g Type(g) = OR  Signal(Out(1,g)) = 1  n Signal(In(n,g)) = 1 ¡ g Type(g) = AND  Signal(Out(1,g)) = 0  n Signal(In(n,g)) = 0 ¡ g Type(g) = XOR  Signal(Out(1,g)) = 1  Signal(In(1,g)) ≠ Signal(In(2,g)) ¡ g Type(g) = NOT  Signal(Out(1,g)) ≠ Signal(In(1,g))