; Schedule time: 10 
; Number of problems: 25 
; Number of objects: 5 
; Number of bolts: 5 
; Number of goals: 4 
(setq *TEST-PROBS* '(

(sc-76
 (and (surface-condition e smooth) (surface-condition c smooth)
  (has-hole e (6 mm) orientation-1) (painted b (water-res white)))
 ((last-time 10) (is-bolt (b1 (4 mm))) (is-bolt (b2 (8 mm)))
  (is-bolt (b3 (1 cm))) (is-bolt (b4 (2 mm))) (is-bolt (b5 (6 mm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0) (temperature e cold)
  (shape e irregular) (is-object e) (has-hole d (1 cm) orientation-2)
  (surface-condition d rough) (temperature d cold)
  (shape d rectangular) (is-object d)
  (has-hole c (1 cm) orientation-1) (painted c (water-res red))
  (temperature c cold) (shape c irregular) (is-object c)
  (temperature b cold) (shape b irregular) (is-object b)
  (temperature a cold) (shape a irregular) (is-object a))) 
(sc-77
 (and (painted b (regular white)) (surface-condition e smooth)
  (shape a cylindrical) (joined c d orientation-3))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (1 cm)))
  (is-bolt (b3 (4 mm))) (is-bolt (b4 (1.4 cm))) (is-bolt (b5 (6 mm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0)
  (painted e (water-res red)) (temperature e cold)
  (shape e undetermined) (is-object e) (surface-condition d rough)
  (temperature d cold) (shape d irregular) (is-object d)
  (temperature c cold) (shape c irregular) (is-object c)
  (has-hole b (6 mm) orientation-3) (surface-condition b rough)
  (temperature b cold) (shape b undetermined) (is-object b)
  (temperature a cold) (shape a undetermined) (is-object a))) 
(sc-78
 (and (painted a (regular white)) (has-hole a (1.4 cm) orientation-1)
  (surface-condition a polished) (shape c cylindrical))
 ((last-time 10) (is-bolt (b1 (4 mm))) (is-bolt (b2 (8 mm)))
  (is-bolt (b3 (1.4 cm))) (is-bolt (b4 (4 mm))) (is-bolt (b5 (6 mm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0)
  (has-hole e (1 cm) orientation-3) (painted e (water-res white))
  (temperature e cold) (shape e undetermined) (is-object e)
  (has-hole d (6 mm) orientation-2) (temperature d cold)
  (shape d irregular) (is-object d) (has-hole c (1 cm) orientation-2)
  (temperature c cold) (shape c rectangular) (is-object c)
  (has-hole b (2 mm) orientation-4) (temperature b cold)
  (shape b cylindrical) (is-object b) (painted a (regular red))
  (temperature a cold) (shape a undetermined) (is-object a))) 
(sc-79
 (and (joined c b orientation-1) (surface-condition d polished)
  (shape a cylindrical) (painted e (water-res red)))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (6 mm)))
  (is-bolt (b3 (6 mm))) (is-bolt (b4 (1.4 cm))) (is-bolt (b5 (1 cm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0) (temperature e cold)
  (shape e cylindrical) (is-object e) (temperature d cold)
  (shape d rectangular) (is-object d)
  (has-hole c (8 mm) orientation-4) (painted c (regular red))
  (temperature c cold) (shape c cylindrical) (is-object c)
  (has-hole b (1.199999 cm) orientation-1)
  (surface-condition b polished) (temperature b cold)
  (shape b rectangular) (is-object b) (painted a (water-res red))
  (temperature a cold) (shape a irregular) (is-object a))) 
(sc-80
 (and (shape c cylindrical) (painted d (regular white))
  (shape d cylindrical) (surface-condition b smooth))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (1.199999 cm)))
  (is-bolt (b3 (1.4 cm))) (is-bolt (b4 (1.199999 cm)))
  (is-bolt (b5 (6 mm))) (last-scheduled e 0) (last-scheduled d 0)
  (last-scheduled c 0) (last-scheduled b 0) (last-scheduled a 0)
  (has-hole e (1 cm) orientation-3) (painted e (water-res white))
  (temperature e cold) (shape e undetermined) (is-object e)
  (has-hole d (2 mm) orientation-3) (temperature d cold)
  (shape d irregular) (is-object d) (has-hole c (8 mm) orientation-2)
  (surface-condition c smooth) (temperature c cold)
  (shape c rectangular) (is-object c)
  (has-hole b (1.199999 cm) orientation-3) (temperature b cold)
  (shape b undetermined) (is-object b) (surface-condition a smooth)
  (temperature a cold) (shape a undetermined) (is-object a))) 
(sc-81
 (and (has-hole d (4 mm) orientation-4) (shape d cylindrical)
  (surface-condition e smooth) (painted d (water-res white)))
 ((last-time 10) (is-bolt (b1 (1.199999 cm))) (is-bolt (b2 (1 cm)))
  (is-bolt (b3 (4 mm))) (is-bolt (b4 (1.4 cm)))
  (is-bolt (b5 (1.4 cm))) (last-scheduled e 0) (last-scheduled d 0)
  (last-scheduled c 0) (last-scheduled b 0) (last-scheduled a 0)
  (has-hole e (8 mm) orientation-4) (surface-condition e rough)
  (temperature e cold) (shape e irregular) (is-object e)
  (painted d (regular red)) (temperature d cold)
  (shape d undetermined) (is-object d) (painted c (regular white))
  (temperature c cold) (shape c cylindrical) (is-object c)
  (has-hole b (8 mm) orientation-4) (painted b (water-res white))
  (surface-condition b smooth) (temperature b cold)
  (shape b undetermined) (is-object b) (painted a (regular white))
  (temperature a cold) (shape a undetermined) (is-object a))) 
(sc-82
 (and (painted a (water-res white)) (surface-condition e smooth)
  (painted d (regular red)) (has-hole b (6 mm) orientation-3))
 ((last-time 10) (is-bolt (b1 (1 cm))) (is-bolt (b2 (1.4 cm)))
  (is-bolt (b3 (1.199999 cm))) (is-bolt (b4 (1.199999 cm)))
  (is-bolt (b5 (6 mm))) (last-scheduled e 0) (last-scheduled d 0)
  (last-scheduled c 0) (last-scheduled b 0) (last-scheduled a 0)
  (painted e (water-res red)) (temperature e cold)
  (shape e rectangular) (is-object e)
  (has-hole d (1.4 cm) orientation-3) (temperature d cold)
  (shape d irregular) (is-object d) (surface-condition c polished)
  (temperature c cold) (shape c irregular) (is-object c)
  (has-hole b (4 mm) orientation-3) (painted b (regular red))
  (temperature b cold) (shape b cylindrical) (is-object b)
  (temperature a cold) (shape a irregular) (is-object a))) 
(sc-83
 (and (painted b (regular red)) (surface-condition a polished)
  (surface-condition e polished) (joined b e orientation-1))
 ((last-time 10) (is-bolt (b1 (1.4 cm))) (is-bolt (b2 (4 mm)))
  (is-bolt (b3 (1.199999 cm))) (is-bolt (b4 (8 mm)))
  (is-bolt (b5 (6 mm))) (last-scheduled e 0) (last-scheduled d 0)
  (last-scheduled c 0) (last-scheduled b 0) (last-scheduled a 0)
  (temperature e cold) (shape e cylindrical) (is-object e)
  (temperature d cold) (shape d rectangular) (is-object d)
  (has-hole c (2 mm) orientation-3) (painted c (water-res white))
  (temperature c cold) (shape c cylindrical) (is-object c)
  (has-hole b (1.4 cm) orientation-4) (painted b (water-res red))
  (temperature b cold) (shape b irregular) (is-object b)
  (has-hole a (1.199999 cm) orientation-4) (painted a (regular red))
  (temperature a cold) (shape a irregular) (is-object a))) 
(sc-84
 (and (painted d (regular red)) (has-hole d (1.4 cm) orientation-1)
  (joined b d orientation-1) (joined a c orientation-2))
 ((last-time 10) (is-bolt (b1 (2 mm))) (is-bolt (b2 (6 mm)))
  (is-bolt (b3 (6 mm))) (is-bolt (b4 (8 mm))) (is-bolt (b5 (4 mm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0)
  (surface-condition e smooth) (temperature e cold)
  (shape e irregular) (is-object e) (temperature d cold)
  (shape d rectangular) (is-object d)
  (has-hole c (4 mm) orientation-2) (temperature c cold)
  (shape c rectangular) (is-object c) (painted b (water-res red))
  (temperature b cold) (shape b undetermined) (is-object b)
  (painted a (water-res white)) (temperature a cold)
  (shape a cylindrical) (is-object a))) 
(sc-85
 (and (painted c (regular white)) (painted e (regular red))
  (has-hole b (2 mm) orientation-4) (shape b cylindrical))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (1 cm)))
  (is-bolt (b3 (2 mm))) (is-bolt (b4 (6 mm))) (is-bolt (b5 (4 mm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0)
  (surface-condition e smooth) (temperature e cold)
  (shape e undetermined) (is-object e) (surface-condition d rough)
  (temperature d cold) (shape d irregular) (is-object d)
  (temperature c cold) (shape c rectangular) (is-object c)
  (temperature b cold) (shape b rectangular) (is-object b)
  (has-hole a (2 mm) orientation-2) (painted a (regular red))
  (temperature a cold) (shape a rectangular) (is-object a))) 
(sc-86
 (and (has-hole e (6 mm) orientation-4)
  (has-hole d (8 mm) orientation-2) (surface-condition e polished)
  (surface-condition a smooth))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (1.199999 cm)))
  (is-bolt (b3 (2 mm))) (is-bolt (b4 (1.199999 cm)))
  (is-bolt (b5 (1 cm))) (last-scheduled e 0) (last-scheduled d 0)
  (last-scheduled c 0) (last-scheduled b 0) (last-scheduled a 0)
  (temperature e cold) (shape e rectangular) (is-object e)
  (temperature d cold) (shape d cylindrical) (is-object d)
  (temperature c cold) (shape c rectangular) (is-object c)
  (surface-condition b smooth) (temperature b cold)
  (shape b irregular) (is-object b) (has-hole a (6 mm) orientation-4)
  (painted a (water-res white)) (temperature a cold)
  (shape a rectangular) (is-object a))) 
(sc-87
 (and (surface-condition a polished) (surface-condition d smooth)
  (shape e cylindrical) (joined c e orientation-4))
 ((last-time 10) (is-bolt (b1 (2 mm))) (is-bolt (b2 (1.4 cm)))
  (is-bolt (b3 (1.4 cm))) (is-bolt (b4 (6 mm)))
  (is-bolt (b5 (1.199999 cm))) (last-scheduled e 0)
  (last-scheduled d 0) (last-scheduled c 0) (last-scheduled b 0)
  (last-scheduled a 0) (temperature e cold) (shape e undetermined)
  (is-object e) (surface-condition d rough) (temperature d cold)
  (shape d irregular) (is-object d) (temperature c cold)
  (shape c cylindrical) (is-object c) (temperature b cold)
  (shape b rectangular) (is-object b) (surface-condition a smooth)
  (temperature a cold) (shape a undetermined) (is-object a))) 
(sc-88
 (and (has-hole c (1 cm) orientation-2) (painted e (regular red))
  (surface-condition d smooth) (surface-condition a polished))
 ((last-time 10) (is-bolt (b1 (1 cm))) (is-bolt (b2 (8 mm)))
  (is-bolt (b3 (1 cm))) (is-bolt (b4 (1 cm))) (is-bolt (b5 (1.4 cm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0)
  (has-hole e (2 mm) orientation-1) (surface-condition e rough)
  (temperature e cold) (shape e undetermined) (is-object e)
  (surface-condition d rough) (temperature d cold)
  (shape d cylindrical) (is-object d) (surface-condition c polished)
  (temperature c cold) (shape c undetermined) (is-object c)
  (has-hole b (1.4 cm) orientation-3) (temperature b cold)
  (shape b cylindrical) (is-object b) (painted a (regular white))
  (temperature a cold) (shape a undetermined) (is-object a))) 
(sc-89
 (and (surface-condition c smooth) (surface-condition a polished)
  (shape e cylindrical) (shape d cylindrical))
 ((last-time 10) (is-bolt (b1 (4 mm))) (is-bolt (b2 (1.4 cm)))
  (is-bolt (b3 (6 mm))) (is-bolt (b4 (1 cm)))
  (is-bolt (b5 (1.199999 cm))) (last-scheduled e 0)
  (last-scheduled d 0) (last-scheduled c 0) (last-scheduled b 0)
  (last-scheduled a 0) (has-hole e (2 mm) orientation-4)
  (temperature e cold) (shape e rectangular) (is-object e)
  (painted d (regular white)) (temperature d cold)
  (shape d irregular) (is-object d) (surface-condition c polished)
  (temperature c cold) (shape c undetermined) (is-object c)
  (temperature b cold) (shape b cylindrical) (is-object b)
  (temperature a cold) (shape a cylindrical) (is-object a))) 
(sc-90
 (and (shape c cylindrical) (has-hole c (1.4 cm) orientation-1)
  (painted a (water-res white)) (surface-condition d smooth))
 ((last-time 10) (is-bolt (b1 (2 mm))) (is-bolt (b2 (1.199999 cm)))
  (is-bolt (b3 (4 mm))) (is-bolt (b4 (1 cm))) (is-bolt (b5 (2 mm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0) (temperature e cold)
  (shape e rectangular) (is-object e) (temperature d cold)
  (shape d irregular) (is-object d) (temperature c cold)
  (shape c undetermined) (is-object c) (temperature b cold)
  (shape b rectangular) (is-object b) (temperature a cold)
  (shape a irregular) (is-object a))) 
(sc-91
 (and (painted b (water-res white)) (surface-condition b smooth)
  (joined a c orientation-4) (has-hole a (6 mm) orientation-2))
 ((last-time 10) (is-bolt (b1 (6 mm))) (is-bolt (b2 (6 mm)))
  (is-bolt (b3 (8 mm))) (is-bolt (b4 (4 mm))) (is-bolt (b5 (1.4 cm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0)
  (has-hole e (8 mm) orientation-3) (temperature e cold)
  (shape e undetermined) (is-object e) (painted d (regular white))
  (surface-condition d polished) (temperature d cold)
  (shape d cylindrical) (is-object d) (surface-condition c smooth)
  (temperature c cold) (shape c cylindrical) (is-object c)
  (surface-condition b rough) (temperature b cold)
  (shape b irregular) (is-object b) (has-hole a (4 mm) orientation-1)
  (painted a (regular white)) (temperature a cold)
  (shape a undetermined) (is-object a))) 
(sc-92
 (and (surface-condition a smooth) (surface-condition d smooth)
  (shape d cylindrical) (painted a (water-res red)))
 ((last-time 10) (is-bolt (b1 (6 mm))) (is-bolt (b2 (4 mm)))
  (is-bolt (b3 (2 mm))) (is-bolt (b4 (1.4 cm))) (is-bolt (b5 (6 mm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0) (temperature e cold)
  (shape e rectangular) (is-object e) (painted d (water-res red))
  (temperature d cold) (shape d undetermined) (is-object d)
  (painted c (water-res white)) (surface-condition c smooth)
  (temperature c cold) (shape c irregular) (is-object c)
  (painted b (water-res white)) (temperature b cold)
  (shape b undetermined) (is-object b)
  (has-hole a (8 mm) orientation-1) (temperature a cold)
  (shape a rectangular) (is-object a))) 
(sc-93
 (and (shape a cylindrical) (surface-condition e polished)
  (shape d cylindrical) (painted b (regular red)))
 ((last-time 10) (is-bolt (b1 (1 cm))) (is-bolt (b2 (8 mm)))
  (is-bolt (b3 (1.199999 cm))) (is-bolt (b4 (8 mm)))
  (is-bolt (b5 (1.199999 cm))) (last-scheduled e 0)
  (last-scheduled d 0) (last-scheduled c 0) (last-scheduled b 0)
  (last-scheduled a 0) (has-hole e (4 mm) orientation-3)
  (painted e (water-res red)) (temperature e cold)
  (shape e cylindrical) (is-object e) (temperature d cold)
  (shape d rectangular) (is-object d)
  (has-hole c (1.199999 cm) orientation-3) (temperature c cold)
  (shape c irregular) (is-object c) (surface-condition b smooth)
  (temperature b cold) (shape b rectangular) (is-object b)
  (temperature a cold) (shape a undetermined) (is-object a))) 
(sc-94
 (and (surface-condition c smooth) (joined a c orientation-2)
  (has-hole c (6 mm) orientation-3) (painted b (regular white)))
 ((last-time 10) (is-bolt (b1 (6 mm))) (is-bolt (b2 (2 mm)))
  (is-bolt (b3 (4 mm))) (is-bolt (b4 (4 mm))) (is-bolt (b5 (1.4 cm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0) (temperature e cold)
  (shape e cylindrical) (is-object e) (temperature d cold)
  (shape d cylindrical) (is-object d)
  (has-hole c (2 mm) orientation-3) (temperature c cold)
  (shape c irregular) (is-object c) (surface-condition b rough)
  (temperature b cold) (shape b cylindrical) (is-object b)
  (painted a (regular red)) (temperature a cold) (shape a irregular)
  (is-object a))) 
(sc-95
 (and (has-hole b (1.4 cm) orientation-3) (joined a e orientation-3)
  (painted d (regular red)) (surface-condition c smooth))
 ((last-time 10) (is-bolt (b1 (1.199999 cm))) (is-bolt (b2 (2 mm)))
  (is-bolt (b3 (6 mm))) (is-bolt (b4 (2 mm))) (is-bolt (b5 (4 mm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0)
  (has-hole e (8 mm) orientation-3) (painted e (water-res white))
  (temperature e cold) (shape e cylindrical) (is-object e)
  (temperature d cold) (shape d cylindrical) (is-object d)
  (temperature c cold) (shape c cylindrical) (is-object c)
  (temperature b cold) (shape b irregular) (is-object b)
  (painted a (water-res red)) (surface-condition a polished)
  (temperature a cold) (shape a cylindrical) (is-object a))) 
(sc-96
 (and (painted a (water-res white)) (painted d (water-res white))
  (surface-condition d smooth) (joined a d orientation-2))
 ((last-time 10) (is-bolt (b1 (1 cm))) (is-bolt (b2 (4 mm)))
  (is-bolt (b3 (2 mm))) (is-bolt (b4 (1 cm))) (is-bolt (b5 (1.4 cm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0)
  (surface-condition e smooth) (temperature e cold)
  (shape e irregular) (is-object e) (surface-condition d polished)
  (temperature d cold) (shape d undetermined) (is-object d)
  (painted c (regular white)) (temperature c cold)
  (shape c rectangular) (is-object c) (temperature b cold)
  (shape b undetermined) (is-object b) (surface-condition a smooth)
  (temperature a cold) (shape a rectangular) (is-object a))) 
(sc-97
 (and (has-hole b (6 mm) orientation-2) (joined b c orientation-1)
  (has-hole e (1.4 cm) orientation-3) (shape d cylindrical))
 ((last-time 10) (is-bolt (b1 (1.199999 cm))) (is-bolt (b2 (4 mm)))
  (is-bolt (b3 (2 mm))) (is-bolt (b4 (8 mm))) (is-bolt (b5 (1.4 cm)))
  (last-scheduled e 0) (last-scheduled d 0) (last-scheduled c 0)
  (last-scheduled b 0) (last-scheduled a 0)
  (surface-condition e polished) (temperature e cold)
  (shape e undetermined) (is-object e)
  (has-hole d (6 mm) orientation-3) (painted d (regular red))
  (temperature d cold) (shape d irregular) (is-object d)
  (temperature c cold) (shape c cylindrical) (is-object c)
  (painted b (regular red)) (temperature b cold)
  (shape b cylindrical) (is-object b) (painted a (regular red))
  (temperature a cold) (shape a cylindrical) (is-object a))) 
(sc-98
 (and (surface-condition b smooth) (shape a cylindrical)
  (painted e (regular white)) (has-hole b (1 cm) orientation-1))
 ((last-time 10) (is-bolt (b1 (6 mm))) (is-bolt (b2 (1.4 cm)))
  (is-bolt (b3 (1.4 cm))) (is-bolt (b4 (1.4 cm)))
  (is-bolt (b5 (1 cm))) (last-scheduled e 0) (last-scheduled d 0)
  (last-scheduled c 0) (last-scheduled b 0) (last-scheduled a 0)
  (has-hole e (6 mm) orientation-1) (temperature e cold)
  (shape e irregular) (is-object e) (has-hole d (2 mm) orientation-4)
  (temperature d cold) (shape d irregular) (is-object d)
  (painted c (water-res white)) (temperature c cold)
  (shape c cylindrical) (is-object c)
  (has-hole b (2 mm) orientation-2) (temperature b cold)
  (shape b rectangular) (is-object b) (temperature a cold)
  (shape a undetermined) (is-object a))) 
(sc-99
 (and (shape d cylindrical) (surface-condition a smooth)
  (shape a cylindrical) (surface-condition b polished))
 ((last-time 10) (is-bolt (b1 (2 mm))) (is-bolt (b2 (1 cm)))
  (is-bolt (b3 (1.4 cm))) (is-bolt (b4 (1.199999 cm)))
  (is-bolt (b5 (8 mm))) (last-scheduled e 0) (last-scheduled d 0)
  (last-scheduled c 0) (last-scheduled b 0) (last-scheduled a 0)
  (temperature e cold) (shape e cylindrical) (is-object e)
  (temperature d cold) (shape d irregular) (is-object d)
  (has-hole c (2 mm) orientation-3) (temperature c cold)
  (shape c cylindrical) (is-object c)
  (has-hole b (8 mm) orientation-3) (temperature b cold)
  (shape b rectangular) (is-object b) (painted a (water-res white))
  (temperature a cold) (shape a irregular) (is-object a))) 
(sc-100
 (and (painted a (water-res white)) (joined a e orientation-4)
  (surface-condition d polished) (painted c (regular red)))
 ((last-time 10) (is-bolt (b1 (1.199999 cm))) (is-bolt (b2 (2 mm)))
  (is-bolt (b3 (1.199999 cm))) (is-bolt (b4 (1.199999 cm)))
  (is-bolt (b5 (1 cm))) (last-scheduled e 0) (last-scheduled d 0)
  (last-scheduled c 0) (last-scheduled b 0) (last-scheduled a 0)
  (has-hole e (4 mm) orientation-3) (painted e (water-res red))
  (surface-condition e rough) (temperature e cold)
  (shape e rectangular) (is-object e)
  (has-hole d (4 mm) orientation-4) (temperature d cold)
  (shape d undetermined) (is-object d) (surface-condition c rough)
  (temperature c cold) (shape c undetermined) (is-object c)
  (has-hole b (2 mm) orientation-4) (temperature b cold)
  (shape b rectangular) (is-object b) (temperature a cold)
  (shape a undetermined) (is-object a))) 
))