Lifted Logic CHI