two example PROV-O representations