Example of using PROV-AQ