Lifted Logic A