%const p=0.  -- 1 person
%const n=2.  -- 2 floors

person(0).

floor(0).
floor(1).

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

initially(lift_at(0)).

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

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