include "../airport-giving-a-ride/airport-giving-a-ride"

module AIRPORT_TWO_HOMES;

  import AIRPORT_RIDE;

  objects
    John, Pat : Person;
    Desk1, Garage1, Desk2, Garage2, Airport : Place;
    Home1, Home2, County : Region;

  axioms

    constraint Location(Car)!=Desk1 & Location(Car)!=Desk2;

    % Our "geography":

    At(Desk1, Home1);
    At(Garage1, Home1);
    At(Desk2, Home2);
    At(Garage2, Home2);
    At(Home1, County);
    At(Home2, County);
    At(Airport, County);

    Walkable(Home1);
    Walkable(Home2);

    Drivable(County);
