proto/quivr/models/proposition.pb library