class Customer:
	// functions that the Customer can perform
	//attributes of the Customer
	define waitEmployee ()
	define signContract ()
	CreditScore
	CarRecord
class Employee:
	//functions that the Employee can perform
	define checkCredit ()
	define checkCarRecord ()
	define checkCarAvailability ()
class Car:
	//attributes of the Car
	Availability
	CarType
class Contract:
	Signed