%const p=2.
%const n=5.

person(0).
person(1).

floor(0).
floor(1).
floor(2).
floor(3).
floor(4).
floor(5).

initially(lift_at(0)).

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

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

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

initially(origin(1,2)). initially(destination(1,0)).

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