Bt1




toilet(t1).

package(P) :- #int(P), P > 0.