Non Determinate BK with Constant

:- modeh(1,east (+train))?

:- modeb(*,has_car(+train,-car))?

:- modeb(1,long(+car))?

:- modeb(1,short(+car))?

:- modeb(1,open(+car))?

:- modeb(1,closed(+car))?

… …

east(A):-has_car(A,B), long(B).

east(A):-has_car(A,B), short(B).

east(A):-has_car(A,B), open(B).

east(A):-has_car(A,B), closed(B).