уничтожения. История автомобиля должна храниться до конца второго
календарного года после его уничтожения.
Модели автомобилей
Модель автомобиля имеет одно уникальное имя. Автомобили одной модели
производятся только одним изготовителем. Новые модели могут вводиться без
ограничений. Считается, что все автомобили одной модели расходуют то же
количество топлива.
Расход топлива
Расход топлива - это некоторое число литров углеводородного топлива на 100
км пути, которое находится в пределах 4-25 л. Усредненный расход топлива
зарегистрированных автомобилей, произведенных одной фирмой-изготовителем
в определенном году, не должен превышать максимального значения, которое
устанавливается для всех изготовителей и может меняться от года к году. В
конце января каждого года Орган Регистрации посылает соответствующее
сообщениекаждойфирме-изготовителю,котораяневыполнилаэтого
требования.
Гаражи
Существует некоторое число гаражей, каждый с уникальным именем. Могут
открываться новые гаражи. Гаражи могут владеть автомобилями, но в любое
время автомобили, которыми они владеют, должны поступать от не более чем
трех изготовителей (какие три - не имеет значения, и они со временем могут
меняться). Гараж не может прекратить торговлю, пока у него есть автомобили.
Лица
Существует ряд лиц, которые могут владеть одним или несколькими
автомобилями. Каждый человек имеет уникальное имя. Интерес представляют
только те лица, которые владеют или когда-то владели автомобилем, до сих пор
известным Органу Регистрации.
Владение автомобилем
В любое время автомобилем может владеть или его фирма-изготовитель, или
торгующий гараж, или некоторое лицо, или группа лиц. Если автомобилем
владеет группа лиц, каждое из них считается владельцем.
Передача права владения
Право владения автомобилем передается при регистрации фактической
передачи. Фирма-изготовитель может передавать свое право только гаражам и
не может выступать в качестве получателя такого права. Гараж может
передавать свое право только лицам. После уничтожения автомобиля он не
может более никому передаваться. Однако могут регистрироваться более ранние
передачи.
Кроме перечисленных, никаких других правил нет. В данном примере
неизбежно делается некоторое число упрощающих допущений, например
причины, цены и обстоятельства передачи права владения не рассматриваются.