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

(sc-101
 (and (painted b (regular white)) (surface-condition a polished)
  (shape e cylindrical) (painted a (regular white))
  (shape a cylindrical))
 ((last-time 10) (is-bolt (b1 (4 mm))) (is-bolt (b2 (2 mm)))
  (is-bolt (b3 (4 mm))) (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)
  (surface-condition e rough) (temperature e cold)
  (shape e irregular) (is-object e) (surface-condition d rough)
  (temperature d cold) (shape d rectangular) (is-object d)
  (temperature c cold) (shape c irregular) (is-object c)
  (has-hole b (8 mm) orientation-3) (surface-condition b smooth)
  (temperature b cold) (shape b cylindrical) (is-object b)
  (has-hole a (1 cm) orientation-4) (temperature a cold)
  (shape a undetermined) (is-object a))) 
(sc-102
 (and (shape d cylindrical) (shape b cylindrical)
  (has-hole c (6 mm) orientation-4) (surface-condition a smooth)
  (painted d (water-res red)))
 ((last-time 10) (is-bolt (b1 (2 mm))) (is-bolt (b2 (1 cm)))
  (is-bolt (b3 (8 mm))) (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) (temperature e cold)
  (shape e irregular) (is-object e) (has-hole d (8 mm) orientation-1)
  (surface-condition d rough) (temperature d cold)
  (shape d irregular) (is-object d) (has-hole c (6 mm) orientation-3)
  (surface-condition c smooth) (temperature c cold)
  (shape c undetermined) (is-object c) (temperature b cold)
  (shape b irregular) (is-object b) (painted a (regular white))
  (surface-condition a polished) (temperature a cold)
  (shape a undetermined) (is-object a))) 
(sc-103
 (and (surface-condition d smooth) (surface-condition c smooth)
  (painted d (regular red)) (joined c d orientation-3)
  (painted b (water-res white)))
 ((last-time 10) (is-bolt (b1 (4 mm))) (is-bolt (b2 (4 mm)))
  (is-bolt (b3 (4 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)
  (has-hole e (4 mm) orientation-1) (surface-condition e rough)
  (temperature e cold) (shape e undetermined) (is-object e)
  (painted d (water-res red)) (temperature d cold)
  (shape d cylindrical) (is-object d) (temperature c cold)
  (shape c rectangular) (is-object c)
  (has-hole b (4 mm) orientation-2) (temperature b cold)
  (shape b cylindrical) (is-object b)
  (has-hole a (1 cm) orientation-4) (temperature a cold)
  (shape a cylindrical) (is-object a))) 
(sc-104
 (and (joined c e orientation-3) (surface-condition e smooth)
  (shape e cylindrical) (shape b cylindrical)
  (surface-condition d polished))
 ((last-time 10) (is-bolt (b1 (1.4 cm))) (is-bolt (b2 (8 mm)))
  (is-bolt (b3 (1.4 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-1) (temperature e cold)
  (shape e undetermined) (is-object e)
  (has-hole d (6 mm) orientation-3) (painted d (water-res white))
  (temperature d cold) (shape d irregular) (is-object d)
  (surface-condition c smooth) (temperature c cold)
  (shape c rectangular) (is-object c) (temperature b cold)
  (shape b rectangular) (is-object b) (temperature a cold)
  (shape a irregular) (is-object a))) 
(sc-105
 (and (shape e cylindrical) (has-hole b (2 mm) orientation-3)
  (surface-condition d polished) (surface-condition c polished)
  (shape a cylindrical))
 ((last-time 10) (is-bolt (b1 (1 cm))) (is-bolt (b2 (6 mm)))
  (is-bolt (b3 (1.4 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)
  (surface-condition e rough) (temperature e cold)
  (shape e rectangular) (is-object e)
  (has-hole d (1.4 cm) orientation-1) (painted d (water-res white))
  (surface-condition d rough) (temperature d cold)
  (shape d cylindrical) (is-object d)
  (has-hole c (1 cm) orientation-2) (surface-condition c rough)
  (temperature c cold) (shape c rectangular) (is-object c)
  (has-hole b (2 mm) orientation-1) (surface-condition b smooth)
  (temperature b cold) (shape b rectangular) (is-object b)
  (has-hole a (6 mm) orientation-4) (temperature a cold)
  (shape a irregular) (is-object a))) 
(sc-106
 (and (joined d c orientation-4) (painted e (water-res white))
  (surface-condition c polished) (surface-condition b smooth)
  (joined a e orientation-2))
 ((last-time 10) (is-bolt (b1 (6 mm))) (is-bolt (b2 (4 mm)))
  (is-bolt (b3 (1.199999 cm))) (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)
  (has-hole e (1.199999 cm) orientation-2) (temperature e cold)
  (shape e cylindrical) (is-object e)
  (has-hole d (1 cm) orientation-2) (surface-condition d rough)
  (temperature d cold) (shape d undetermined) (is-object d)
  (has-hole c (1 cm) orientation-2) (surface-condition c rough)
  (temperature c cold) (shape c undetermined) (is-object c)
  (temperature b cold) (shape b undetermined) (is-object b)
  (painted a (regular white)) (temperature a cold)
  (shape a cylindrical) (is-object a))) 
(sc-107
 (and (shape c cylindrical) (has-hole c (2 mm) orientation-3)
  (painted d (regular white)) (painted e (water-res white))
  (shape e cylindrical))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (1 cm)))
  (is-bolt (b3 (6 mm))) (is-bolt (b4 (6 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 (water-res red)) (temperature e cold)
  (shape e irregular) (is-object e) (painted d (water-res white))
  (temperature d cold) (shape d undetermined) (is-object d)
  (has-hole c (2 mm) orientation-1) (painted c (water-res red))
  (temperature c cold) (shape c undetermined) (is-object c)
  (surface-condition b polished) (temperature b cold)
  (shape b irregular) (is-object b) (has-hole a (8 mm) orientation-4)
  (temperature a cold) (shape a undetermined) (is-object a))) 
(sc-108
 (and (has-hole c (2 mm) orientation-2) (painted c (water-res white))
  (painted d (water-res white)) (joined c d orientation-4)
  (surface-condition a polished))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (2 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 (2 mm) orientation-1) (surface-condition e smooth)
  (temperature e cold) (shape e rectangular) (is-object e)
  (surface-condition d rough) (temperature d cold)
  (shape d rectangular) (is-object d) (surface-condition c polished)
  (temperature c cold) (shape c rectangular) (is-object c)
  (has-hole b (1.4 cm) orientation-1) (painted b (water-res white))
  (surface-condition b polished) (temperature b cold)
  (shape b undetermined) (is-object b)
  (has-hole a (8 mm) orientation-1) (painted a (water-res white))
  (temperature a cold) (shape a cylindrical) (is-object a))) 
(sc-109
 (and (shape b cylindrical) (surface-condition d polished)
  (shape a cylindrical) (has-hole b (6 mm) orientation-1)
  (painted c (water-res white)))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (2 mm)))
  (is-bolt (b3 (1.4 cm))) (is-bolt (b4 (1.4 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)
  (has-hole e (4 mm) orientation-3) (surface-condition e smooth)
  (temperature e cold) (shape e irregular) (is-object e)
  (temperature d cold) (shape d irregular) (is-object d)
  (surface-condition c smooth) (temperature c cold)
  (shape c rectangular) (is-object c)
  (has-hole b (4 mm) orientation-3) (surface-condition b polished)
  (temperature b cold) (shape b rectangular) (is-object b)
  (painted a (regular red)) (temperature a cold) (shape a irregular)
  (is-object a))) 
(sc-110
 (and (shape d cylindrical) (joined b c orientation-4)
  (joined a e orientation-3) (surface-condition b polished)
  (has-hole c (6 mm) orientation-3))
 ((last-time 10) (is-bolt (b1 (1.199999 cm)))
  (is-bolt (b2 (1.199999 cm))) (is-bolt (b3 (8 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) (temperature e cold) (shape e irregular)
  (is-object e) (has-hole d (2 mm) orientation-4)
  (painted d (water-res red)) (temperature d cold)
  (shape d rectangular) (is-object d) (surface-condition c rough)
  (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 undetermined) (is-object b)
  (temperature a cold) (shape a cylindrical) (is-object a))) 
(sc-111
 (and (painted d (water-res white)) (shape b cylindrical)
  (surface-condition d polished) (has-hole a (2 mm) orientation-3)
  (surface-condition a polished))
 ((last-time 10) (is-bolt (b1 (6 mm))) (is-bolt (b2 (2 mm)))
  (is-bolt (b3 (8 mm))) (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) (temperature e cold)
  (shape e cylindrical) (is-object e) (temperature d cold)
  (shape d rectangular) (is-object d) (temperature c cold)
  (shape c rectangular) (is-object c) (temperature b cold)
  (shape b irregular) (is-object b) (temperature a cold)
  (shape a rectangular) (is-object a))) 
(sc-112
 (and (surface-condition d smooth) (painted a (regular red))
  (painted e (regular white)) (painted c (regular white))
  (shape b cylindrical))
 ((last-time 10) (is-bolt (b1 (1.199999 cm))) (is-bolt (b2 (1.4 cm)))
  (is-bolt (b3 (2 mm))) (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 (1 cm) orientation-1) (temperature e cold)
  (shape e rectangular) (is-object e) (temperature d cold)
  (shape d irregular) (is-object d) (has-hole c (2 mm) orientation-1)
  (surface-condition c polished) (temperature c cold)
  (shape c rectangular) (is-object c) (surface-condition b smooth)
  (temperature b cold) (shape b undetermined) (is-object b)
  (has-hole a (1.4 cm) orientation-2) (surface-condition a smooth)
  (temperature a cold) (shape a irregular) (is-object a))) 
(sc-113
 (and (painted e (regular white)) (painted b (regular white))
  (has-hole d (2 mm) orientation-2) (surface-condition b smooth)
  (has-hole c (1 cm) orientation-1))
 ((last-time 10) (is-bolt (b1 (1.199999 cm)))
  (is-bolt (b2 (1.199999 cm))) (is-bolt (b3 (1.4 cm)))
  (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)
  (surface-condition d polished) (temperature d cold)
  (shape d irregular) (is-object d)
  (has-hole c (1.199999 cm) orientation-3) (painted c (regular red))
  (temperature c cold) (shape c rectangular) (is-object c)
  (temperature b cold) (shape b irregular) (is-object b)
  (has-hole a (2 mm) orientation-3) (surface-condition a polished)
  (temperature a cold) (shape a undetermined) (is-object a))) 
(sc-114
 (and (painted e (regular white)) (surface-condition c polished)
  (has-hole a (1 cm) orientation-2) (shape c cylindrical)
  (painted c (regular white)))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (4 mm)))
  (is-bolt (b3 (4 mm))) (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)
  (temperature d cold) (shape d cylindrical) (is-object d)
  (has-hole c (1 cm) orientation-4) (temperature c cold)
  (shape c irregular) (is-object c) (painted b (water-res red))
  (temperature b cold) (shape b cylindrical) (is-object b)
  (temperature a cold) (shape a rectangular) (is-object a))) 
(sc-115
 (and (has-hole b (6 mm) orientation-4) (painted e (water-res white))
  (painted c (water-res red)) (has-hole d (2 mm) orientation-3)
  (surface-condition d smooth))
 ((last-time 10) (is-bolt (b1 (2 mm))) (is-bolt (b2 (1 cm)))
  (is-bolt (b3 (1.4 cm))) (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)
  (has-hole e (1.4 cm) orientation-2) (painted e (regular red))
  (temperature e cold) (shape e undetermined) (is-object e)
  (painted d (water-res white)) (surface-condition d rough)
  (temperature d cold) (shape d irregular) (is-object d)
  (has-hole c (8 mm) orientation-2) (temperature c cold)
  (shape c cylindrical) (is-object c) (painted b (regular white))
  (temperature b cold) (shape b irregular) (is-object b)
  (painted a (water-res red)) (temperature a cold)
  (shape a undetermined) (is-object a))) 
(sc-116
 (and (painted e (regular red)) (painted b (regular white))
  (surface-condition d polished) (painted c (regular white))
  (joined a b orientation-2))
 ((last-time 10) (is-bolt (b1 (6 mm))) (is-bolt (b2 (8 mm)))
  (is-bolt (b3 (4 mm))) (is-bolt (b4 (1.199999 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)
  (painted e (regular white)) (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) (temperature b cold)
  (shape b cylindrical) (is-object b) (painted a (regular red))
  (temperature a cold) (shape a irregular) (is-object a))) 
(sc-117
 (and (has-hole d (6 mm) orientation-2)
  (has-hole c (1.4 cm) orientation-1) (surface-condition b smooth)
  (surface-condition e smooth) (surface-condition c smooth))
 ((last-time 10) (is-bolt (b1 (1.4 cm))) (is-bolt (b2 (1.199999 cm)))
  (is-bolt (b3 (1.4 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)
  (painted e (regular white)) (temperature e cold)
  (shape e irregular) (is-object e) (surface-condition d rough)
  (temperature d cold) (shape d cylindrical) (is-object d)
  (temperature c cold) (shape c undetermined) (is-object c)
  (painted b (regular red)) (temperature b cold)
  (shape b cylindrical) (is-object b)
  (has-hole a (8 mm) orientation-4) (temperature a cold)
  (shape a rectangular) (is-object a))) 
(sc-118
 (and (surface-condition d polished) (shape a cylindrical)
  (has-hole d (1 cm) orientation-4) (surface-condition a polished)
  (joined a d orientation-1))
 ((last-time 10) (is-bolt (b1 (4 mm))) (is-bolt (b2 (1.199999 cm)))
  (is-bolt (b3 (1.199999 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 (8 mm) orientation-1) (painted e (regular red))
  (temperature e cold) (shape e undetermined) (is-object e)
  (temperature d cold) (shape d rectangular) (is-object d)
  (temperature c cold) (shape c irregular) (is-object c)
  (has-hole b (1.199999 cm) orientation-3) (temperature b cold)
  (shape b undetermined) (is-object b) (temperature a cold)
  (shape a irregular) (is-object a))) 
(sc-119
 (and (joined d c orientation-3) (surface-condition a polished)
  (shape a cylindrical) (surface-condition d smooth)
  (has-hole e (1.4 cm) orientation-3))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (4 mm)))
  (is-bolt (b3 (1.199999 cm))) (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) (painted e (regular red))
  (surface-condition e rough) (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) (temperature c cold)
  (shape c cylindrical) (is-object c) (surface-condition b rough)
  (temperature b cold) (shape b undetermined) (is-object b)
  (has-hole a (1.199999 cm) orientation-1)
  (painted a (water-res red)) (surface-condition a smooth)
  (temperature a cold) (shape a undetermined) (is-object a))) 
(sc-120
 (and (painted b (water-res white)) (joined b d orientation-4)
  (painted c (regular white)) (shape b cylindrical)
  (painted a (water-res white)))
 ((last-time 10) (is-bolt (b1 (8 mm))) (is-bolt (b2 (8 mm)))
  (is-bolt (b3 (1.4 cm))) (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 (6 mm) orientation-1) (temperature e cold)
  (shape e cylindrical) (is-object e)
  (has-hole d (2 mm) orientation-4) (temperature d cold)
  (shape d undetermined) (is-object d)
  (has-hole c (2 mm) orientation-4) (painted c (regular red))
  (temperature c cold) (shape c undetermined) (is-object c)
  (painted b (regular red)) (surface-condition b rough)
  (temperature b cold) (shape b rectangular) (is-object b)
  (painted a (water-res red)) (surface-condition a polished)
  (temperature a cold) (shape a undetermined) (is-object a))) 
(sc-121
 (and (has-hole c (1 cm) orientation-4) (painted b (regular white))
  (shape c cylindrical) (shape a cylindrical)
  (surface-condition a polished))
 ((last-time 10) (is-bolt (b1 (6 mm))) (is-bolt (b2 (2 mm)))
  (is-bolt (b3 (2 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)
  (surface-condition e rough) (temperature e cold)
  (shape e cylindrical) (is-object e) (painted d (water-res red))
  (surface-condition d polished) (temperature d cold)
  (shape d rectangular) (is-object d)
  (has-hole c (1.4 cm) orientation-3) (temperature c cold)
  (shape c irregular) (is-object c)
  (has-hole b (1.199999 cm) orientation-4)
  (surface-condition b polished) (temperature b cold)
  (shape b rectangular) (is-object b)
  (has-hole a (6 mm) orientation-1) (surface-condition a rough)
  (temperature a cold) (shape a undetermined) (is-object a))) 
(sc-122
 (and (shape b cylindrical) (joined a e orientation-1)
  (has-hole b (1.4 cm) orientation-2) (joined b c orientation-4)
  (surface-condition c smooth))
 ((last-time 10) (is-bolt (b1 (1.199999 cm)))
  (is-bolt (b2 (1.199999 cm))) (is-bolt (b3 (1.199999 cm)))
  (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) (has-hole e (6 mm) orientation-1)
  (temperature e cold) (shape e rectangular) (is-object e)
  (has-hole d (1.4 cm) orientation-2) (temperature d cold)
  (shape d irregular) (is-object d) (temperature c cold)
  (shape c cylindrical) (is-object c) (temperature b cold)
  (shape b irregular) (is-object b) (temperature a cold)
  (shape a irregular) (is-object a))) 
(sc-123
 (and (joined e b orientation-4) (joined a c orientation-3)
  (painted c (regular red)) (has-hole c (1.4 cm) orientation-1)
  (shape b cylindrical))
 ((last-time 10) (is-bolt (b1 (2 mm))) (is-bolt (b2 (1.199999 cm)))
  (is-bolt (b3 (1 cm))) (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) (surface-condition e smooth)
  (temperature e cold) (shape e undetermined) (is-object e)
  (has-hole d (4 mm) orientation-3) (temperature d cold)
  (shape d irregular) (is-object d)
  (has-hole c (1.199999 cm) orientation-4)
  (surface-condition c polished) (temperature c cold)
  (shape c cylindrical) (is-object c) (temperature b cold)
  (shape b undetermined) (is-object b) (painted a (water-res red))
  (temperature a cold) (shape a rectangular) (is-object a))) 
(sc-124
 (and (painted a (water-res white)) (surface-condition a smooth)
  (surface-condition d polished) (painted d (regular red))
  (shape c cylindrical))
 ((last-time 10) (is-bolt (b1 (6 mm))) (is-bolt (b2 (2 mm)))
  (is-bolt (b3 (6 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)
  (painted e (water-res red)) (surface-condition e polished)
  (temperature e cold) (shape e cylindrical) (is-object e)
  (temperature d cold) (shape d rectangular) (is-object d)
  (painted c (regular red)) (surface-condition c polished)
  (temperature c cold) (shape c undetermined) (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 (2 mm) orientation-2) (temperature a cold)
  (shape a rectangular) (is-object a))) 
(sc-125
 (and (joined a b orientation-2) (has-hole e (2 mm) orientation-2)
  (shape e cylindrical) (painted a (water-res white))
  (surface-condition a smooth))
 ((last-time 10) (is-bolt (b1 (2 mm))) (is-bolt (b2 (1.4 cm)))
  (is-bolt (b3 (1 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) (temperature e cold) (shape e rectangular)
  (is-object e) (surface-condition d smooth) (temperature d cold)
  (shape d irregular) (is-object d)
  (has-hole c (1.4 cm) orientation-1) (painted c (regular red))
  (temperature c cold) (shape c cylindrical) (is-object c)
  (painted b (regular red)) (temperature b cold)
  (shape b undetermined) (is-object b) (painted a (water-res red))
  (temperature a cold) (shape a rectangular) (is-object a))) 
))