Lifted Logic bpa2