%const p=4.
%const n=9.

person(0).
person(1).
person(2).
person(3).
person(4).

floor(0).
floor(1).
floor(2).
floor(3).
floor(4).
floor(5).
floor(6).
floor(7).
floor(8).
floor(9).

initially(origin(0,3)). initially(destination(0,6)).

initially(origin(1,7)). initially(destination(1,5)).

initially(origin(2,3)). initially(destination(2,5)).

initially(origin(3,6)). initially(destination(3,2)).

initially(origin(4,9)). initially(destination(4,1)).

initially(lift_at(0)).

initially(neg(boarded(P))):- person(P).

initially(neg(served(P))):- person(P).