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

(sc-176
 (and (has-hole a (2 mm) orientation-2)
  (surface-condition a polished) (surface-condition d smooth)
  (shape c cylindrical) (painted a (regular red))
  (shape b cylindrical) (has-hole b (1.4 cm) orientation-3)
  (shape d cylindrical))
 ((last-time 10) (is-bolt (b1 (1.199999 cm))) (is-bolt (b2 (2 mm)))
  (is-bolt (b3 (8 mm))) (is-bolt (b4 (8 mm))) (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)
  (surface-condition e smooth) (temperature e cold)
  (shape e rectangular) (is-object e) (surface-condition d polished)
  (temperature d cold) (shape d rectangular) (is-object d)
  (has-hole c (1.4 cm) orientation-4) (temperature c cold)
  (shape c rectangular) (is-object c)
  (has-hole b (8 mm) orientation-2) (surface-condition b rough)
  (temperature b cold) (shape b irregular) (is-object b)
  (surface-condition a smooth) (temperature a cold)
  (shape a cylindrical) (is-object a)))
(sc-177
 (and (has-hole e (2 mm) orientation-2) (shape e cylindrical)
  (shape c cylindrical) (surface-condition b polished)
  (painted d (water-res white)) (has-hole c (2 mm) orientation-2)
  (has-hole b (1.4 cm) orientation-4) (surface-condition c polished))
 ((last-time 10) (is-bolt (b1 (1.4 cm))) (is-bolt (b2 (2 mm)))
  (is-bolt (b3 (2 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)
  (painted e (water-res red)) (surface-condition e smooth)
  (temperature e cold) (shape e undetermined) (is-object e)
  (surface-condition d polished) (temperature d cold)
  (shape d irregular) (is-object d) (temperature c cold)
  (shape c irregular) (is-object c) (temperature b cold)
  (shape b irregular) (is-object b)
  (has-hole a (1.4 cm) orientation-4) (painted a (water-res red))
  (temperature a cold) (shape a irregular) (is-object a)))
(sc-178
 (and (surface-condition e smooth) (shape d cylindrical)
  (painted c (regular red)) (surface-condition a smooth)
  (shape e cylindrical) (joined a b orientation-2)
  (shape a cylindrical) (surface-condition d smooth))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (8 mm)))
  (is-bolt (b3 (2 mm))) (is-bolt (b4 (1.4 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) (painted e (regular red))
  (surface-condition e polished) (temperature e cold)
  (shape e undetermined) (is-object e)
  (has-hole d (1.199999 cm) orientation-2) (temperature d cold)
  (shape d undetermined) (is-object d)
  (has-hole c (1.4 cm) orientation-3) (painted c (water-res red))
  (temperature c cold) (shape c cylindrical) (is-object c)
  (has-hole b (1.199999 cm) orientation-3) (temperature b cold)
  (shape b irregular) (is-object b) (temperature a cold)
  (shape a irregular) (is-object a)))
(sc-179
 (and (joined d c orientation-1) (shape e cylindrical)
  (surface-condition c polished) (surface-condition e polished)
  (has-hole b (1.4 cm) orientation-3) (surface-condition b smooth)
  (has-hole d (1 cm) orientation-2) (surface-condition d smooth))
 ((last-time 10) (is-bolt (b1 (2 mm))) (is-bolt (b2 (4 mm)))
  (is-bolt (b3 (1 cm))) (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)
  (surface-condition e rough) (temperature e cold)
  (shape e irregular) (is-object e) (surface-condition d polished)
  (temperature d cold) (shape d irregular) (is-object d)
  (painted c (regular white)) (temperature c cold)
  (shape c irregular) (is-object c) (has-hole b (2 mm) orientation-1)
  (temperature b cold) (shape b irregular) (is-object b)
  (surface-condition a smooth) (temperature a cold)
  (shape a undetermined) (is-object a)))
(sc-180
 (and (has-hole c (6 mm) orientation-3) (painted b (water-res white))
  (has-hole a (1.4 cm) orientation-4) (surface-condition e polished)
  (painted d (regular white)) (has-hole e (8 mm) orientation-3)
  (has-hole b (1.199999 cm) orientation-3) (shape a cylindrical))
 ((last-time 10) (is-bolt (b1 (6 mm))) (is-bolt (b2 (8 mm)))
  (is-bolt (b3 (1.199999 cm))) (is-bolt (b4 (1.199999 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 rough) (temperature e cold)
  (shape e rectangular) (is-object e) (painted d (water-res white))
  (surface-condition d rough) (temperature d cold)
  (shape d undetermined) (is-object d) (temperature c cold)
  (shape c irregular) (is-object c) (has-hole b (1 cm) orientation-3)
  (temperature b cold) (shape b rectangular) (is-object b)
  (painted a (regular red)) (temperature a cold)
  (shape a undetermined) (is-object a)))
(sc-181
 (and (surface-condition b smooth) (shape b cylindrical)
  (joined a d orientation-3) (shape d cylindrical)
  (surface-condition d polished) (painted d (regular red))
  (surface-condition c polished) (joined b c orientation-1))
 ((last-time 10) (is-bolt (b1 (2 mm))) (is-bolt (b2 (1.199999 cm)))
  (is-bolt (b3 (1.199999 cm))) (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 (1 cm) orientation-3)
  (temperature e cold) (shape e undetermined) (is-object e)
  (surface-condition d smooth) (temperature d cold)
  (shape d irregular) (is-object d) (painted c (water-res red))
  (surface-condition c rough) (temperature c cold)
  (shape c rectangular) (is-object c) (temperature b cold)
  (shape b rectangular) (is-object b)
  (has-hole a (4 mm) orientation-4) (temperature a cold)
  (shape a cylindrical) (is-object a)))
(sc-182
 (and (surface-condition d polished) (painted a (regular white))
  (surface-condition c smooth) (joined e d orientation-3)
  (has-hole c (2 mm) orientation-4) (shape a cylindrical)
  (has-hole d (1 cm) orientation-2) (painted e (water-res white)))
 ((last-time 10) (is-bolt (b1 (6 mm))) (is-bolt (b2 (2 mm)))
  (is-bolt (b3 (2 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 irregular) (is-object e) (temperature d cold)
  (shape d cylindrical) (is-object d)
  (has-hole c (4 mm) orientation-3) (surface-condition c rough)
  (temperature c cold) (shape c irregular) (is-object c)
  (surface-condition b smooth) (temperature b cold)
  (shape b rectangular) (is-object b)
  (has-hole a (1.4 cm) orientation-2) (temperature a cold)
  (shape a rectangular) (is-object a)))
(sc-183
 (and (shape e cylindrical) (shape a cylindrical)
  (joined a e orientation-1) (painted c (regular white))
  (has-hole d (1 cm) orientation-1) (surface-condition c polished)
  (shape d cylindrical) (shape c cylindrical))
 ((last-time 10) (is-bolt (b1 (4 mm))) (is-bolt (b2 (1 cm)))
  (is-bolt (b3 (1.4 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)
  (painted e (water-res white)) (surface-condition e rough)
  (temperature e cold) (shape e rectangular) (is-object e)
  (painted d (water-res red)) (surface-condition d polished)
  (temperature d cold) (shape d rectangular) (is-object d)
  (painted c (regular red)) (surface-condition c smooth)
  (temperature c cold) (shape c undetermined) (is-object c)
  (painted b (water-res red)) (temperature b cold)
  (shape b irregular) (is-object b) (temperature a cold)
  (shape a rectangular) (is-object a)))
(sc-184
 (and (surface-condition d polished) (surface-condition c smooth)
  (has-hole a (1.4 cm) orientation-4) (joined d e orientation-1)
  (shape c cylindrical) (painted a (regular white))
  (shape b cylindrical) (has-hole c (1 cm) orientation-4))
 ((last-time 10) (is-bolt (b1 (1 cm))) (is-bolt (b2 (1.4 cm)))
  (is-bolt (b3 (1.4 cm))) (is-bolt (b4 (1.199999 cm)))
  (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)
  (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 polished) (temperature b cold)
  (shape b undetermined) (is-object b)
  (has-hole a (1.4 cm) orientation-2) (temperature a cold)
  (shape a irregular) (is-object a)))
(sc-185
 (and (shape b cylindrical) (shape e cylindrical)
  (surface-condition c smooth) (painted c (water-res white))
  (shape a cylindrical) (shape d cylindrical)
  (surface-condition e polished) (surface-condition a smooth))
 ((last-time 10) (is-bolt (b1 (2 mm))) (is-bolt (b2 (1.4 cm)))
  (is-bolt (b3 (4 mm))) (is-bolt (b4 (6 mm))) (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 undetermined) (is-object e) (temperature d cold)
  (shape d irregular) (is-object d) (surface-condition c polished)
  (temperature c cold) (shape c rectangular) (is-object c)
  (painted b (regular red)) (surface-condition b polished)
  (temperature b cold) (shape b irregular) (is-object b)
  (surface-condition a rough) (temperature a cold)
  (shape a undetermined) (is-object a)))
(sc-186
 (and (painted a (water-res white)) (has-hole c (1 cm) orientation-1)
  (joined a e orientation-3) (shape e cylindrical)
  (has-hole a (6 mm) orientation-1) (surface-condition a smooth)
  (surface-condition c polished) (has-hole b (6 mm) orientation-4))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (1.199999 cm)))
  (is-bolt (b3 (2 mm))) (is-bolt (b4 (4 mm))) (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)
  (has-hole e (1 cm) orientation-1) (temperature e cold)
  (shape e rectangular) (is-object e)
  (has-hole d (8 mm) orientation-1) (temperature d cold)
  (shape d cylindrical) (is-object d) (temperature c cold)
  (shape c undetermined) (is-object c) (surface-condition b rough)
  (temperature b cold) (shape b rectangular) (is-object b)
  (temperature a cold) (shape a rectangular) (is-object a)))
(sc-187
 (and (surface-condition d smooth) (joined a c orientation-4)
  (shape d cylindrical) (joined b e orientation-3)
  (surface-condition e smooth) (painted e (regular white))
  (shape e cylindrical) (surface-condition b polished))
 ((last-time 10) (is-bolt (b1 (1.199999 cm))) (is-bolt (b2 (1 cm)))
  (is-bolt (b3 (6 mm))) (is-bolt (b4 (1.199999 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 (1.199999 cm) orientation-4)
  (surface-condition e polished) (temperature e cold)
  (shape e undetermined) (is-object e)
  (has-hole d (4 mm) orientation-1) (painted d (water-res red))
  (surface-condition d rough) (temperature d cold)
  (shape d undetermined) (is-object d) (painted c (water-res white))
  (temperature c cold) (shape c undetermined) (is-object c)
  (has-hole b (4 mm) orientation-3) (surface-condition b rough)
  (temperature b cold) (shape b rectangular) (is-object b)
  (has-hole a (8 mm) orientation-4) (painted a (regular white))
  (surface-condition a polished) (temperature a cold)
  (shape a irregular) (is-object a)))
(sc-188
 (and (painted e (water-res white)) (shape e cylindrical)
  (painted c (regular red)) (has-hole a (6 mm) orientation-2)
  (shape d cylindrical) (shape b cylindrical)
  (painted a (regular white)) (painted d (water-res white)))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (8 mm)))
  (is-bolt (b3 (2 mm))) (is-bolt (b4 (1 cm))) (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) (temperature e cold)
  (shape e undetermined) (is-object e)
  (has-hole d (1 cm) orientation-2) (temperature d cold)
  (shape d undetermined) (is-object d) (temperature c cold)
  (shape c irregular) (is-object c)
  (has-hole b (1.199999 cm) orientation-2) (temperature b cold)
  (shape b undetermined) (is-object b) (painted a (regular red))
  (temperature a cold) (shape a irregular) (is-object a)))
(sc-189
 (and (shape b cylindrical) (joined b d orientation-4)
  (painted e (regular red)) (has-hole d (1.4 cm) orientation-2)
  (surface-condition a polished) (painted b (regular white))
  (shape d cylindrical) (surface-condition c smooth))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (1.199999 cm)))
  (is-bolt (b3 (8 mm))) (is-bolt (b4 (2 mm))) (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)
  (has-hole e (4 mm) orientation-4) (painted e (water-res white))
  (temperature e cold) (shape e irregular) (is-object e)
  (has-hole d (1.4 cm) orientation-3) (temperature d cold)
  (shape d rectangular) (is-object d)
  (has-hole c (8 mm) orientation-2) (temperature c cold)
  (shape c irregular) (is-object c) (has-hole b (6 mm) orientation-1)
  (painted b (water-res white)) (temperature b cold)
  (shape b rectangular) (is-object b)
  (has-hole a (1 cm) orientation-1) (temperature a cold)
  (shape a cylindrical) (is-object a)))
(sc-190
 (and (joined a e orientation-3) (shape c cylindrical)
  (shape b cylindrical) (surface-condition b polished)
  (painted b (regular white)) (has-hole a (6 mm) orientation-1)
  (has-hole b (1.4 cm) orientation-2)
  (has-hole c (6 mm) orientation-1))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (1.199999 cm)))
  (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 (2 mm) orientation-2)
  (temperature e cold) (shape e rectangular) (is-object e)
  (painted d (water-res white)) (temperature d cold)
  (shape d undetermined) (is-object d) (surface-condition c polished)
  (temperature c cold) (shape c undetermined) (is-object c)
  (surface-condition b rough) (temperature b cold)
  (shape b rectangular) (is-object b) (surface-condition a rough)
  (temperature a cold) (shape a rectangular) (is-object a)))
(sc-191
 (and (painted c (water-res white)) (painted d (regular white))
  (shape d cylindrical) (has-hole b (1.4 cm) orientation-4)
  (painted a (water-res white)) (shape b cylindrical)
  (surface-condition c smooth) (surface-condition a smooth))
 ((last-time 10) (is-bolt (b1 (6 mm))) (is-bolt (b2 (6 mm)))
  (is-bolt (b3 (1.199999 cm))) (is-bolt (b4 (2 mm)))
  (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) (temperature e cold)
  (shape e undetermined) (is-object e)
  (has-hole d (1 cm) orientation-4) (surface-condition d smooth)
  (temperature d cold) (shape d undetermined) (is-object d)
  (painted c (water-res red)) (temperature c cold)
  (shape c undetermined) (is-object c)
  (has-hole b (2 mm) orientation-4) (temperature b cold)
  (shape b irregular) (is-object b) (painted a (regular red))
  (temperature a cold) (shape a rectangular) (is-object a)))
(sc-192
 (and (surface-condition d smooth) (painted c (regular white))
  (surface-condition a polished) (joined a b orientation-4)
  (has-hole b (6 mm) orientation-4) (surface-condition c polished)
  (has-hole e (2 mm) orientation-1) (joined c d orientation-2))
 ((last-time 10) (is-bolt (b1 (1.4 cm))) (is-bolt (b2 (1.199999 cm)))
  (is-bolt (b3 (1.4 cm))) (is-bolt (b4 (2 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 rough) (temperature e cold)
  (shape e rectangular) (is-object e) (temperature d cold)
  (shape d cylindrical) (is-object d) (temperature c cold)
  (shape c irregular) (is-object c) (surface-condition b rough)
  (temperature b cold) (shape b cylindrical) (is-object b)
  (has-hole a (2 mm) orientation-2) (painted a (water-res white))
  (surface-condition a smooth) (temperature a cold)
  (shape a undetermined) (is-object a)))
(sc-193
 (and (has-hole d (6 mm) orientation-4) (surface-condition c smooth)
  (has-hole b (2 mm) orientation-3) (joined a d orientation-4)
  (painted d (regular white)) (painted b (regular white))
  (has-hole a (1 cm) orientation-4) (surface-condition d polished))
 ((last-time 10) (is-bolt (b1 (1 cm))) (is-bolt (b2 (1.4 cm)))
  (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)
  (surface-condition e polished) (temperature e cold)
  (shape e irregular) (is-object e) (surface-condition d smooth)
  (temperature d cold) (shape d undetermined) (is-object d)
  (has-hole c (4 mm) orientation-4) (surface-condition c rough)
  (temperature c cold) (shape c rectangular) (is-object c)
  (has-hole b (8 mm) orientation-4) (temperature b cold)
  (shape b rectangular) (is-object b) (surface-condition a rough)
  (temperature a cold) (shape a undetermined) (is-object a)))
(sc-194
 (and (surface-condition d smooth) (has-hole b (1 cm) orientation-3)
  (joined a d orientation-4) (surface-condition c polished)
  (surface-condition e smooth) (painted c (regular red))
  (has-hole e (4 mm) orientation-1) (surface-condition a smooth))
 ((last-time 10) (is-bolt (b1 (4 mm))) (is-bolt (b2 (1.199999 cm)))
  (is-bolt (b3 (1.199999 cm))) (is-bolt (b4 (4 mm)))
  (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)
  (painted e (water-res white)) (temperature e cold)
  (shape e irregular) (is-object e)
  (has-hole d (1.199999 cm) orientation-3)
  (surface-condition d polished) (temperature d cold)
  (shape d rectangular) (is-object d)
  (has-hole c (8 mm) orientation-4) (surface-condition c rough)
  (temperature c cold) (shape c undetermined) (is-object c)
  (painted b (regular red)) (temperature b cold)
  (shape b cylindrical) (is-object b) (painted a (regular white))
  (temperature a cold) (shape a cylindrical) (is-object a)))
(sc-195
 (and (shape d cylindrical) (joined e d orientation-1)
  (shape a cylindrical) (shape c cylindrical)
  (has-hole c (1 cm) orientation-1) (has-hole a (2 mm) orientation-1)
  (shape e cylindrical) (painted e (water-res white)))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (8 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)
  (painted e (water-res red)) (temperature e cold)
  (shape e rectangular) (is-object e) (painted d (regular white))
  (surface-condition d smooth) (temperature d cold)
  (shape d rectangular) (is-object d) (painted c (regular red))
  (temperature c cold) (shape c undetermined) (is-object c)
  (temperature b cold) (shape b rectangular) (is-object b)
  (has-hole a (1 cm) orientation-3) (surface-condition a rough)
  (temperature a cold) (shape a undetermined) (is-object a)))
(sc-196
 (and (surface-condition b smooth) (painted a (regular red))
  (painted c (water-res white)) (surface-condition d polished)
  (has-hole d (1.4 cm) orientation-3)
  (has-hole b (1 cm) orientation-4) (shape e cylindrical)
  (has-hole e (6 mm) orientation-2))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (1.199999 cm)))
  (is-bolt (b3 (1 cm))) (is-bolt (b4 (1.4 cm))) (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) (temperature e cold)
  (shape e rectangular) (is-object e) (temperature d cold)
  (shape d undetermined) (is-object d) (temperature c cold)
  (shape c cylindrical) (is-object c) (painted b (water-res white))
  (temperature b cold) (shape b rectangular) (is-object b)
  (temperature a cold) (shape a undetermined) (is-object a)))
(sc-197
 (and (joined a e orientation-3)
  (has-hole c (1.199999 cm) orientation-3) (shape c cylindrical)
  (surface-condition d polished) (has-hole d (6 mm) orientation-3)
  (surface-condition c smooth) (painted e (regular white))
  (shape e cylindrical))
 ((last-time 10) (is-bolt (b1 (1.199999 cm))) (is-bolt (b2 (6 mm)))
  (is-bolt (b3 (1.199999 cm))) (is-bolt (b4 (1.4 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 irregular) (is-object e)
  (surface-condition d rough) (temperature d cold)
  (shape d undetermined) (is-object d) (temperature c cold)
  (shape c undetermined) (is-object c)
  (has-hole b (2 mm) orientation-1) (painted b (water-res red))
  (temperature b cold) (shape b cylindrical) (is-object b)
  (has-hole a (6 mm) orientation-3) (temperature a cold)
  (shape a undetermined) (is-object a)))
(sc-198
 (and (surface-condition b polished)
  (has-hole d (1 cm) orientation-1) (surface-condition e smooth)
  (shape d cylindrical) (shape e cylindrical)
  (painted d (water-res white)) (shape c cylindrical)
  (painted c (water-res white)))
 ((last-time 10) (is-bolt (b1 (2 mm))) (is-bolt (b2 (2 mm)))
  (is-bolt (b3 (8 mm))) (is-bolt (b4 (8 mm))) (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)
  (surface-condition e polished) (temperature e cold)
  (shape e rectangular) (is-object e) (surface-condition d polished)
  (temperature d cold) (shape d undetermined) (is-object d)
  (has-hole c (4 mm) orientation-4) (temperature c cold)
  (shape c irregular) (is-object c) (temperature b cold)
  (shape b undetermined) (is-object b) (painted a (water-res white))
  (temperature a cold) (shape a irregular) (is-object a)))
(sc-199
 (and (painted d (water-res red)) (shape e cylindrical)
  (surface-condition c polished) (surface-condition d smooth)
  (surface-condition b polished) (painted b (water-res white))
  (painted c (regular red)) (shape d cylindrical))
 ((last-time 10) (is-bolt (b1 (2 mm))) (is-bolt (b2 (6 mm)))
  (is-bolt (b3 (6 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)
  (has-hole e (1.199999 cm) orientation-2) (temperature e cold)
  (shape e rectangular) (is-object e)
  (has-hole d (8 mm) orientation-1) (temperature d cold)
  (shape d undetermined) (is-object d)
  (has-hole c (1 cm) orientation-2) (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) (surface-condition a polished)
  (temperature a cold) (shape a rectangular) (is-object a)))
(sc-200
 (and (has-hole e (1.4 cm) orientation-4)
  (surface-condition a polished) (surface-condition e smooth)
  (shape e cylindrical) (has-hole c (2 mm) orientation-1)
  (painted d (regular red)) (shape b cylindrical)
  (surface-condition d polished))
 ((last-time 10) (is-bolt (b1 (4 mm))) (is-bolt (b2 (4 mm)))
  (is-bolt (b3 (8 mm))) (is-bolt (b4 (1.199999 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)
  (temperature e cold) (shape e undetermined) (is-object e)
  (temperature d cold) (shape d irregular) (is-object d)
  (temperature c cold) (shape c irregular) (is-object c)
  (painted b (water-res red)) (temperature b cold)
  (shape b undetermined) (is-object b)
  (has-hole a (6 mm) orientation-1) (temperature a cold)
  (shape a irregular) (is-object a)))
))