(FACT (IS-A BULB-BASE-POSITIVE-1 BULB-BASE))
(FACT (IS-A BULB-BASE-NEGATIVE-1 BULB-BASE))
(FACT (IS-A FILAMENT-1 FILAMENT))
(FACT (IS-A SWITCH-1 SWITCH))
(FACT (IS-A WIRE-1 WIRE))
(FACT (IS-A WIRE-2 WIRE))
(FACT (IS-A WIRE-3 WIRE))
(FACT (IS-A BATTERY-POSITIVE-1 BATTERY-TERMINAL))
(FACT (IS-A BATTERY-NEGATIVE-1 BATTERY-TERMINAL))
(FACT (CONNECTED FILAMENT-1 BULB-BASE-POSITIVE-1))
(FACT (CONNECTED BULB-BASE-POSITIVE-1 WIRE-1))
(FACT (CONNECTED WIRE-1 SWITCH-1))
(FACT (CONNECTED SWITCH-1 WIRE-2))
(FACT (CONNECTED WIRE-2 BATTERY-POSITIVE-1))
(FACT (CONNECTED WIRE-3 BATTERY-NEGATIVE-1))
(FACT (CONNECTED WIRE-3 BULB-BASE-NEGATIVE-1))
(FACT (CONNECTED BULB-BASE-NEGATIVE-1 FILAMENT-1))
(QUERY (CONNECTED WIRE-1 WIRE-2))
(QUERY (CONNECTED SWITCH-1 WIRE-1))
(QUERY (IS-A WIRE-2 WIRE))
(QUERY (IS-A WIRE-2 FILAMENT))
(QUERY (IS-A WIRE-2 SWITCH))
(QUERY VALUE (IS-A VALUE BATTERY-TERMINAL))
(QUERY VALUE (AND (IS-A VALUE WIRE) (CONNECTED VALUE SWITCH-1)))
(QUERY VALUE (AND (IS-A VALUE WIRE) (CONNECTED VALUE SWITCH-1) (CONNECTED VALUE BULB-BASE-NEGATIVE-1)))
(QUERY (CONNECTED WIRE-2 BULB-BASE-NEGATIVE-1))