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

(sc-151
 (and (joined e d orientation-2) (shape e cylindrical)
  (has-hole a (2 mm) orientation-4) (surface-condition b polished)
  (has-hole b (6 mm) orientation-1) (joined a b orientation-1)
  (shape c cylindrical))
 ((last-time 10) (is-bolt (b1 (1 cm))) (is-bolt (b2 (1.199999 cm)))
  (is-bolt (b3 (6 mm))) (is-bolt (b4 (6 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-4) (painted e (regular red))
  (surface-condition e rough) (temperature e cold)
  (shape e rectangular) (is-object e)
  (has-hole d (1 cm) orientation-1) (painted d (regular red))
  (surface-condition d rough) (temperature d cold)
  (shape d irregular) (is-object d) (temperature c cold)
  (shape c rectangular) (is-object c) (surface-condition b rough)
  (temperature b cold) (shape b irregular) (is-object b)
  (temperature a cold) (shape a rectangular) (is-object a)))
(sc-152
 (and (joined a c orientation-1) (has-hole e (2 mm) orientation-2)
  (painted a (regular red)) (painted b (water-res white))
  (shape d cylindrical) (painted d (regular red))
  (has-hole b (1 cm) 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 (2 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) (surface-condition e rough)
  (temperature e cold) (shape e cylindrical) (is-object e)
  (temperature d cold) (shape d undetermined) (is-object d)
  (temperature c cold) (shape c undetermined) (is-object c)
  (surface-condition b smooth) (temperature b cold)
  (shape b rectangular) (is-object b) (temperature a cold)
  (shape a cylindrical) (is-object a)))
(sc-153
 (and (shape c cylindrical) (shape e cylindrical)
  (joined c e orientation-2) (painted b (regular white))
  (surface-condition a smooth) (painted e (regular white))
  (surface-condition e smooth))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (4 mm)))
  (is-bolt (b3 (4 mm))) (is-bolt (b4 (6 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) (painted e (regular red))
  (temperature e cold) (shape e irregular) (is-object e)
  (has-hole d (2 mm) orientation-1) (painted d (water-res white))
  (temperature d cold) (shape d rectangular) (is-object d)
  (temperature c cold) (shape c undetermined) (is-object c)
  (has-hole b (4 mm) orientation-3) (painted b (regular red))
  (temperature b cold) (shape b irregular) (is-object b)
  (temperature a cold) (shape a rectangular) (is-object a)))
(sc-154
 (and (surface-condition b polished) (shape e cylindrical)
  (painted a (regular white)) (painted b (regular red))
  (shape a cylindrical) (has-hole d (1 cm) orientation-2)
  (surface-condition c polished))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (2 mm)))
  (is-bolt (b3 (1.4 cm))) (is-bolt (b4 (4 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) (painted e (regular red))
  (temperature e cold) (shape e irregular) (is-object e)
  (temperature d cold) (shape d undetermined) (is-object d)
  (has-hole c (1 cm) orientation-3) (surface-condition c rough)
  (temperature c cold) (shape c irregular) (is-object c)
  (painted b (water-res white)) (surface-condition b rough)
  (temperature b cold) (shape b undetermined) (is-object b)
  (has-hole a (2 mm) orientation-1) (temperature a cold)
  (shape a rectangular) (is-object a)))
(sc-155
 (and (joined d e orientation-3) (painted c (regular white))
  (surface-condition c smooth) (shape c cylindrical)
  (has-hole c (6 mm) orientation-4) (shape d cylindrical)
  (joined a b orientation-3))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (4 mm)))
  (is-bolt (b3 (1.199999 cm))) (is-bolt (b4 (2 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 (1.4 cm) orientation-4)
  (temperature e cold) (shape e undetermined) (is-object e)
  (temperature d cold) (shape d irregular) (is-object d)
  (painted c (water-res white)) (temperature c cold)
  (shape c irregular) (is-object c) (temperature b cold)
  (shape b rectangular) (is-object b)
  (has-hole a (6 mm) orientation-1) (temperature a cold)
  (shape a undetermined) (is-object a)))
(sc-156
 (and (surface-condition d polished) (surface-condition a polished)
  (surface-condition b polished) (painted a (regular white))
  (has-hole b (6 mm) orientation-4) (has-hole a (1 cm) orientation-1)
  (shape a cylindrical))
 ((last-time 10) (is-bolt (b1 (4 mm))) (is-bolt (b2 (8 mm)))
  (is-bolt (b3 (1.199999 cm))) (is-bolt (b4 (1 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)
  (painted e (regular white)) (surface-condition e polished)
  (temperature e cold) (shape e undetermined) (is-object e)
  (temperature d cold) (shape d undetermined) (is-object d)
  (painted c (regular white)) (surface-condition c polished)
  (temperature c cold) (shape c irregular) (is-object c)
  (painted b (water-res red)) (surface-condition b smooth)
  (temperature b cold) (shape b rectangular) (is-object b)
  (surface-condition a smooth) (temperature a cold)
  (shape a irregular) (is-object a)))
(sc-157
 (and (painted d (regular white)) (painted a (regular red))
  (shape a cylindrical) (surface-condition b polished)
  (painted e (water-res white)) (has-hole a (2 mm) orientation-1)
  (painted c (regular red)))
 ((last-time 10) (is-bolt (b1 (1.4 cm))) (is-bolt (b2 (6 mm)))
  (is-bolt (b3 (6 mm))) (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.4 cm) orientation-2) (temperature e cold)
  (shape e rectangular) (is-object e) (temperature d cold)
  (shape d undetermined) (is-object d)
  (has-hole c (2 mm) orientation-4) (temperature c cold)
  (shape c irregular) (is-object c) (has-hole b (4 mm) orientation-4)
  (painted b (regular white)) (temperature b cold)
  (shape b irregular) (is-object b) (temperature a cold)
  (shape a undetermined) (is-object a)))
(sc-158
 (and (joined c d orientation-3) (shape b cylindrical)
  (surface-condition c polished) (shape d cylindrical)
  (joined a e orientation-4) (painted b (regular red))
  (surface-condition a polished))
 ((last-time 10) (is-bolt (b1 (1.4 cm))) (is-bolt (b2 (1.199999 cm)))
  (is-bolt (b3 (4 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)
  (has-hole e (8 mm) orientation-3) (surface-condition e smooth)
  (temperature e cold) (shape e cylindrical) (is-object e)
  (has-hole d (1.4 cm) orientation-4) (painted d (regular red))
  (temperature d cold) (shape d irregular) (is-object d)
  (has-hole c (1 cm) orientation-1) (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)
  (temperature a cold) (shape a rectangular) (is-object a)))
(sc-159
 (and (surface-condition c smooth) (painted d (regular red))
  (has-hole b (6 mm) orientation-3) (joined a b orientation-1)
  (has-hole c (1 cm) orientation-2) (shape e cylindrical)
  (surface-condition a polished))
 ((last-time 10) (is-bolt (b1 (1.199999 cm))) (is-bolt (b2 (6 mm)))
  (is-bolt (b3 (8 mm))) (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) (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 irregular) (is-object d)
  (has-hole c (1.199999 cm) orientation-3)
  (surface-condition c rough) (temperature c cold)
  (shape c irregular) (is-object c) (has-hole b (6 mm) orientation-2)
  (temperature b cold) (shape b irregular) (is-object b)
  (surface-condition a rough) (temperature a cold)
  (shape a undetermined) (is-object a)))
(sc-160
 (and (surface-condition a polished) (painted b (water-res white))
  (joined a d orientation-4) (has-hole d (2 mm) orientation-2)
  (painted e (water-res white)) (painted a (regular red))
  (surface-condition b polished))
 ((last-time 10) (is-bolt (b1 (2 mm))) (is-bolt (b2 (4 mm)))
  (is-bolt (b3 (1 cm))) (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)
  (has-hole e (1.199999 cm) orientation-3)
  (surface-condition e rough) (temperature e cold)
  (shape e rectangular) (is-object e) (painted d (regular white))
  (temperature d cold) (shape d rectangular) (is-object d)
  (has-hole c (1.199999 cm) orientation-4) (temperature c cold)
  (shape c cylindrical) (is-object c) (temperature b cold)
  (shape b undetermined) (is-object b) (temperature a cold)
  (shape a irregular) (is-object a)))
(sc-161
 (and (shape c cylindrical) (has-hole c (4 mm) orientation-1)
  (painted e (water-res white)) (has-hole d (4 mm) orientation-1)
  (surface-condition a smooth) (surface-condition d polished)
  (painted a (water-res red)))
 ((last-time 10) (is-bolt (b1 (1.4 cm))) (is-bolt (b2 (8 mm)))
  (is-bolt (b3 (2 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 cylindrical) (is-object e)
  (temperature d cold) (shape d cylindrical) (is-object d)
  (painted c (regular white)) (temperature c cold)
  (shape c irregular) (is-object c) (temperature b cold)
  (shape b rectangular) (is-object b) (temperature a cold)
  (shape a irregular) (is-object a)))
(sc-162
 (and (surface-condition b polished)
  (has-hole a (6 mm) orientation-4) (shape e cylindrical)
  (has-hole b (6 mm) orientation-3) (surface-condition c polished)
  (surface-condition a polished) (painted e (water-res red)))
 ((last-time 10) (is-bolt (b1 (4 mm))) (is-bolt (b2 (4 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)
  (has-hole e (2 mm) orientation-2) (surface-condition e polished)
  (temperature e cold) (shape e irregular) (is-object e)
  (has-hole d (8 mm) orientation-1) (painted d (water-res red))
  (temperature d cold) (shape d cylindrical) (is-object d)
  (temperature c cold) (shape c irregular) (is-object c)
  (painted b (regular white)) (temperature b cold)
  (shape b cylindrical) (is-object b) (temperature a cold)
  (shape a irregular) (is-object a)))
(sc-163
 (and (surface-condition c polished) (painted e (water-res white))
  (shape b cylindrical) (joined b c orientation-4)
  (shape d cylindrical) (shape c cylindrical)
  (surface-condition d smooth))
 ((last-time 10) (is-bolt (b1 (6 mm))) (is-bolt (b2 (1.4 cm)))
  (is-bolt (b3 (1 cm))) (is-bolt (b4 (6 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 (4 mm) orientation-4) (surface-condition e smooth)
  (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)
  (has-hole b (4 mm) orientation-3) (temperature b cold)
  (shape b undetermined) (is-object b) (painted a (water-res white))
  (temperature a cold) (shape a rectangular) (is-object a)))
(sc-164
 (and (surface-condition d polished)
  (has-hole e (2 mm) orientation-2) (surface-condition a polished)
  (shape b cylindrical) (surface-condition e smooth)
  (shape a cylindrical) (surface-condition b smooth))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (1.4 cm)))
  (is-bolt (b3 (8 mm))) (is-bolt (b4 (1.4 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 (6 mm) orientation-4)
  (temperature e cold) (shape e undetermined) (is-object e)
  (painted d (regular white)) (surface-condition d rough)
  (temperature d cold) (shape d undetermined) (is-object d)
  (has-hole c (8 mm) orientation-3) (surface-condition c smooth)
  (temperature c cold) (shape c rectangular) (is-object c)
  (has-hole b (1.4 cm) orientation-2) (temperature b cold)
  (shape b irregular) (is-object b) (has-hole a (2 mm) orientation-2)
  (painted a (regular white)) (surface-condition a smooth)
  (temperature a cold) (shape a rectangular) (is-object a)))
(sc-165
 (and (surface-condition b polished)
  (has-hole d (6 mm) orientation-1) (painted e (regular red))
  (surface-condition d smooth) (surface-condition a polished)
  (has-hole b (2 mm) orientation-3) (shape d cylindrical))
 ((last-time 10) (is-bolt (b1 (1.4 cm))) (is-bolt (b2 (2 mm)))
  (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)
  (has-hole e (6 mm) orientation-2) (temperature e cold)
  (shape e rectangular) (is-object e) (temperature d cold)
  (shape d undetermined) (is-object d)
  (has-hole c (1.4 cm) orientation-1) (painted c (regular white))
  (temperature c cold) (shape c cylindrical) (is-object c)
  (has-hole b (1 cm) orientation-3) (painted b (regular red))
  (temperature b cold) (shape b rectangular) (is-object b)
  (temperature a cold) (shape a irregular) (is-object a)))
(sc-166
 (and (surface-condition b smooth) (shape e cylindrical)
  (surface-condition a smooth) (shape d cylindrical)
  (joined a b orientation-3) (joined c e orientation-2)
  (painted b (regular white)))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (1 cm)))
  (is-bolt (b3 (4 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 undetermined) (is-object e)
  (painted d (water-res red)) (surface-condition d rough)
  (temperature d cold) (shape d undetermined) (is-object d)
  (temperature c cold) (shape c cylindrical) (is-object c)
  (surface-condition b polished) (temperature b cold)
  (shape b undetermined) (is-object b)
  (has-hole a (1.199999 cm) orientation-3) (temperature a cold)
  (shape a irregular) (is-object a)))
(sc-167
 (and (shape c cylindrical) (painted a (regular red))
  (shape e cylindrical) (painted c (regular white))
  (painted e (water-res white)) (has-hole b (2 mm) orientation-3)
  (painted b (water-res white)))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (4 mm)))
  (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)
  (surface-condition e rough) (temperature e cold)
  (shape e irregular) (is-object e) (painted d (water-res red))
  (temperature d cold) (shape d irregular) (is-object d)
  (has-hole c (8 mm) orientation-2) (surface-condition c polished)
  (temperature c cold) (shape c rectangular) (is-object c)
  (has-hole b (2 mm) orientation-2) (temperature b cold)
  (shape b cylindrical) (is-object b) (temperature a cold)
  (shape a rectangular) (is-object a)))
(sc-168
 (and (shape a cylindrical) (surface-condition c smooth)
  (surface-condition d smooth) (shape c cylindrical)
  (painted c (regular red)) (has-hole b (2 mm) orientation-3)
  (surface-condition a polished))
 ((last-time 10) (is-bolt (b1 (1 cm))) (is-bolt (b2 (1 cm)))
  (is-bolt (b3 (4 mm))) (is-bolt (b4 (1 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.4 cm) orientation-1) (temperature e cold)
  (shape e undetermined) (is-object e)
  (has-hole d (1.4 cm) orientation-1) (temperature d cold)
  (shape d undetermined) (is-object d)
  (has-hole c (1.199999 cm) orientation-3) (temperature c cold)
  (shape c undetermined) (is-object c)
  (has-hole b (2 mm) orientation-2) (temperature b cold)
  (shape b cylindrical) (is-object b) (temperature a cold)
  (shape a irregular) (is-object a)))
(sc-169
 (and (has-hole e (1.4 cm) orientation-2) (shape e cylindrical)
  (shape d cylindrical) (painted b (regular white))
  (surface-condition c smooth) (painted c (regular white))
  (painted d (regular white)))
 ((last-time 10) (is-bolt (b1 (1.4 cm))) (is-bolt (b2 (2 mm)))
  (is-bolt (b3 (2 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 rough) (temperature e cold)
  (shape e rectangular) (is-object e) (temperature d cold)
  (shape d irregular) (is-object d) (painted c (water-res white))
  (temperature c cold) (shape c irregular) (is-object c)
  (painted b (water-res red)) (temperature b cold)
  (shape b rectangular) (is-object b) (temperature a cold)
  (shape a irregular) (is-object a)))
(sc-170
 (and (has-hole d (6 mm) orientation-2)
  (has-hole a (6 mm) orientation-1) (painted c (water-res red))
  (surface-condition e smooth) (surface-condition b smooth)
  (painted b (water-res white)) (joined b c orientation-3))
 ((last-time 10) (is-bolt (b1 (4 mm))) (is-bolt (b2 (8 mm)))
  (is-bolt (b3 (1.4 cm))) (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)
  (has-hole d (1.4 cm) orientation-4) (temperature d cold)
  (shape d rectangular) (is-object d) (surface-condition c smooth)
  (temperature c cold) (shape c undetermined) (is-object c)
  (has-hole b (4 mm) orientation-4) (temperature b cold)
  (shape b cylindrical) (is-object b) (temperature a cold)
  (shape a irregular) (is-object a)))
(sc-171
 (and (shape c cylindrical) (shape e cylindrical)
  (joined d e orientation-1) (painted a (regular white))
  (painted c (regular white)) (has-hole b (2 mm) orientation-1)
  (has-hole e (1.4 cm) orientation-3))
 ((last-time 10) (is-bolt (b1 (4 mm))) (is-bolt (b2 (4 mm)))
  (is-bolt (b3 (6 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 (2 mm) orientation-2) (painted d (water-res red))
  (temperature d cold) (shape d irregular) (is-object d)
  (painted c (regular red)) (temperature c cold)
  (shape c rectangular) (is-object c)
  (has-hole b (1.4 cm) orientation-4) (surface-condition b smooth)
  (temperature b cold) (shape b cylindrical) (is-object b)
  (temperature a cold) (shape a irregular) (is-object a)))
(sc-172
 (and (surface-condition c polished) (joined a d orientation-2)
  (surface-condition e smooth) (surface-condition d polished)
  (shape a cylindrical) (shape c cylindrical)
  (painted a (regular red)))
 ((last-time 10) (is-bolt (b1 (1.4 cm))) (is-bolt (b2 (1.199999 cm)))
  (is-bolt (b3 (6 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 (6 mm) orientation-3) (temperature e cold)
  (shape e irregular) (is-object e) (temperature d cold)
  (shape d irregular) (is-object d) (temperature c cold)
  (shape c irregular) (is-object c)
  (has-hole b (1.199999 cm) orientation-2)
  (surface-condition b polished) (temperature b cold)
  (shape b irregular) (is-object b) (temperature a cold)
  (shape a undetermined) (is-object a)))
(sc-173
 (and (has-hole c (6 mm) orientation-2)
  (has-hole a (1.4 cm) orientation-2) (painted e (regular white))
  (surface-condition a smooth) (surface-condition c polished)
  (painted d (regular white)) (has-hole b (2 mm) orientation-4))
 ((last-time 10) (is-bolt (b1 (1 cm))) (is-bolt (b2 (1 cm)))
  (is-bolt (b3 (4 mm))) (is-bolt (b4 (1 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)
  (painted e (water-res red)) (surface-condition e smooth)
  (temperature e cold) (shape e cylindrical) (is-object e)
  (surface-condition d smooth) (temperature d cold)
  (shape d undetermined) (is-object d)
  (has-hole c (2 mm) orientation-3) (surface-condition c rough)
  (temperature c cold) (shape c rectangular) (is-object c)
  (has-hole b (8 mm) orientation-3) (temperature b cold)
  (shape b cylindrical) (is-object b) (temperature a cold)
  (shape a cylindrical) (is-object a)))
(sc-174
 (and (painted b (regular white)) (shape c cylindrical)
  (shape b cylindrical) (surface-condition e smooth)
  (painted c (regular white)) (has-hole b (1 cm) orientation-2)
  (shape e cylindrical))
 ((last-time 10) (is-bolt (b1 (6 mm))) (is-bolt (b2 (2 mm)))
  (is-bolt (b3 (6 mm))) (is-bolt (b4 (4 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 rectangular)
  (is-object e) (has-hole d (6 mm) orientation-3)
  (surface-condition d rough) (temperature d cold)
  (shape d rectangular) (is-object d) (surface-condition c rough)
  (temperature c cold) (shape c irregular) (is-object c)
  (has-hole b (1.4 cm) orientation-1) (temperature b cold)
  (shape b rectangular) (is-object b)
  (has-hole a (8 mm) orientation-4) (painted a (regular red))
  (surface-condition a polished) (temperature a cold)
  (shape a irregular) (is-object a)))
(sc-175
 (and (surface-condition d polished) (painted a (regular red))
  (has-hole b (2 mm) orientation-1) (shape b cylindrical)
  (has-hole a (6 mm) orientation-3) (surface-condition c smooth)
  (has-hole d (1.199999 cm) orientation-2))
 ((last-time 10) (is-bolt (b1 (1.4 cm))) (is-bolt (b2 (1.4 cm)))
  (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)
  (temperature e cold) (shape e undetermined) (is-object e)
  (temperature d cold) (shape d cylindrical) (is-object d)
  (painted c (regular red)) (temperature c cold)
  (shape c cylindrical) (is-object c)
  (has-hole b (1.199999 cm) orientation-3) (temperature b cold)
  (shape b undetermined) (is-object b) (surface-condition a polished)
  (temperature a cold) (shape a irregular) (is-object a)))
))