;  Author: David Osbourn
;  Student Number: 0232786
;  Date: 17/03/2004

;  Definition of cars and facts for knowledge base
;  26 Cars defined

(assert 
	(car
		(manufacturer Citroen)
		(model Saxo)
		(cc 1124)
		(colour Red)
		(price 8500)
		(acceleration 12.4)
		(consumption 43)
		(reliability 3)
		(coManuf France)
  )
)

(assert 
	(car
		(manufacturer Renault)
		(model Clio)
		(cc 1149)
		(colour Silver)
		(price 8695)
		(acceleration 12.6)
		(consumption 47)
		(reliability 4)
		(coManuf France)
  )
)

(assert 
	(car
		(manufacturer Ford)
		(model Fiesta)
		(cc 1299)
		(colour Blue)
		(price 8995)
		(acceleration 15.3)
		(consumption 45)
		(reliability 4)
		(coManuf UK)
  )
)

(assert 
	(car
		(manufacturer Peugeot)
		(model 206)
		(cc 1124)
		(colour Blue)
		(price 9495)
		(acceleration 16.8)
		(consumption 45)
		(reliability 4)
		(coManuf France)
  )
)

(assert 
	(car
		(manufacturer Vauxhall)
		(model Corsa)
		(cc 1194)
		(colour Red)
		(price 7749)
		(acceleration 12.0)
		(consumption 44)
		(reliability 4)
		(coManuf UK)
  )
)

(assert 
	(car
		(manufacturer Ford)
		(model Focus)
		(cc 1596)
		(colour White)
		(price 10495)
		(acceleration 10.4)
		(consumption 41)
		(reliability 4)
		(coManuf UK)
  )
)

(assert 
	(car
		(manufacturer Citroen)
		(model Xsara)
		(cc 1587)
		(colour Green)
		(price 11095)
		(acceleration 9.6)
		(consumption 40)
		(reliability 3)
		(coManuf France)
  )
)

(assert 
	(car
		(manufacturer Honda)
		(model Civic)
		(cc 1590)
		(colour Black)
		(price 13195)
		(acceleration 10.3)
		(consumption 42)
		(reliability 4)
		(coManuf Japan)
  )
)

(assert 
	(car
		(manufacturer Renault)
		(model Megane)
		(cc 1598)
		(colour Red)
		(price 12790)
		(acceleration 10.9)
		(consumption 40)
		(reliability 3)
		(coManuf France)
  )
)

(assert 
	(car
		(manufacturer Toyota)
		(model Corolla)
		(cc 1598)
		(colour Blue)
		(price 11995)
		(acceleration 11.4)
		(consumption 35)
		(reliability 5)
		(coManuf Japan)
  )
)

(assert 
	(car
		(manufacturer Vauxhall)
		(model Astra)
		(cc 1598)
		(colour Black)
		(price 13045)
		(acceleration 10.5)
		(consumption 37)
		(reliability 4)
		(coManuf UK)
  )
)

(assert 
	(car
		(manufacturer Volkswagan)
		(model Golf)
		(cc 1598)
		(colour Red)
		(price 13495)
		(acceleration 10.5)
		(consumption 39)
		(reliability 5)
		(coManuf Germany)
  )
)

(assert 
	(car
		(manufacturer Audi)
		(model A4)
		(cc 1800)
		(colour Black)
		(price 21010)
		(acceleration 8.5)
		(consumption 33)
		(reliability 4)
		(coManuf Germany)
  )
)

(assert 
	(car
		(manufacturer BMW)
		(model 318i)
		(cc 1895)
		(colour Black)
		(price 18995)
		(acceleration 10.1)
		(consumption 35)
		(reliability 5)
		(coManuf Germany)
  )
)

(assert 
	(car
		(manufacturer Vauxhall)
		(model Vectra)
		(cc 1796)
		(colour Blue)
		(price 16795)
		(acceleration 10.2)
		(consumption 37)
		(reliability 4)
		(coManuf UK)
  )
)

(assert 
	(car
		(manufacturer Mercedes-Benz)
		(model C-Class)
		(cc 1796)
		(colour Silver)
		(price 23050)
		(acceleration 9.1)
		(consumption 34)
		(reliability 4)
		(coManuf Germany)
  )
)

(assert 
	(car
		(manufacturer Peugeot)
		(model 406)
		(cc 1998)
		(colour Red)
		(price 16000)
		(acceleration 9.7)
		(consumption 31)
		(reliability 4)
		(coManuf France)
  )
)

(assert 
	(car
		(manufacturer Volkswagan)
		(model Passat)
		(cc 1984)
		(colour Green)
		(price 16495)
		(acceleration 10.8)
		(consumption 32)
		(reliability 4)
		(coManuf Germany)
  )
)

(assert 
	(car
		(manufacturer Mitsubishi)
		(model Galant)
		(cc 1998)
		(colour Blue)
		(price 19995)
		(acceleration 9.4)
		(consumption 34)
		(reliability 5)
		(coManuf Japan)
  )
)

(assert 
	(car
		(manufacturer Porsche)
		(model "911 Carrera4 Turbo")
		(cc 3600)
		(colour Silver)
		(price 68995)
		(acceleration 4.1)
		(consumption 21)
		(reliability 5)
		(coManuf Germany)
  )
)

(assert 
	(car
		(manufacturer BMW)
		(model Z3-Roadster)
		(cc 2171)
		(colour Black)
		(price 18995)
		(acceleration 7.6)
		(consumption 30)
		(reliability 4)
		(coManuf Germany)
  )
)

(assert 
	(car
		(manufacturer Audi)
		(model TT)
		(cc 3189)
		(colour Black)
		(price 29795)
		(acceleration 6.5)
		(consumption 26)
		(reliability 5)
		(coManuf Germany)
  )
)

(assert 
	(car
		(manufacturer Lotus)
		(model Elise)
		(cc 1796)
		(colour Yellow)
		(price 14850)
		(acceleration 5.4)
		(consumption 38)
		(reliability 5)
		(coManuf UK)
  )
)

(assert 
	(car
		(manufacturer Mercedes-Benz)
		(model SL320K)
		(cc 3199)
		(colour Silver)
		(price 42000)
		(acceleration 6.7)
		(consumption 26)
		(reliability 5)
		(coManuf Germany)
  )
)

(assert 
	(car
		(manufacturer Ferrari)
		(model F355)
		(cc 3498)
		(colour Red)
		(price 99000)
		(acceleration 4.6)
		(consumption 19)
		(reliability 4)
		(coManuf Italy)
  )
)

(assert 
	(car
		(manufacturer Dodge)
		(model Viper)
		(cc 8300)
		(colour Red)
		(price 60000)
		(acceleration 4.2)
		(consumption 14)
		(reliability 2)
		(coManuf US)
  )
)