Lifted Logic ARI