BoundedCombinatoryLogic

inhabitation