data modelling examples as prov in trig