code-first database design

model.cs

using System;
using System.Collections.Generic;
using System.ComponentModel.DataAnnotations;

namespace RentACar.Models
{
    public class Car
    {
        public int CarID { get; set; }
        public string Brand { get; set; }
        public string Model { get; set; }
        public int Detail { get; set; }
        public ICollection<Rent> Rents { get; set; }
    }

    public class Customer
    {
        public int CustomerID { get; set; }
        public string FullName { get; set; }
        [Required]
        public int NationID { get; set; }
        public string Adress { get; set; }
        public ICollection<Rent> Rents { get; set; }
        public ICollection<Reservation> Reservations { get; set; }
    }

    public class Branch
    {
        public int BranchID { get; set; }
        public string Adress { get; set; }
        public City City { get; set; }
        [ForeignKey("City")]
        public int CityFK { get; set; }
    }
    public class City
    {
        public int CityID {get;set;}
        public string Name {get;set;
        public ICollection<Branch> Branches { get; set; }
     }

    public class Rent
    {
        public int RentID { get; set; }
        public int TakeBranchId { get; set; }
        public int LeaveBranchId { get; set; }
        public DateTime StartDate {get;set;}
        public DateTime EndDate {get;set;}
        [ForeignKey("Customer")]
        public int CustomerFK { get; set; }
        [ForeignKey("Car")]
        public int CarFK { get; set; }
        
        [ForeignKey("TakeBranchId")]
        public virtual Branch TakeBranch { get; set; }

        [ForeignKey("LeaveBranchId")]
        public virtual Branch LeaveBranch { get; set; }

    }
    public class Reservation
    {
        public int ReservationID { get; set; }
        public int TakeBranchId { get; set; }
        public int LeaveBranchId { get; set; }
        [ForeignKey("TakeBranchId")]
        public virtual Branch TakeBranch { get; set; }

        [ForeignKey("LeaveBranchId")]
        public virtual Branch LeaveBranch { get; set; }
    }
}