Lifted Logic GR2