Lifted Logic BAL