Project(BGP( ?service . ?provider ?proof . ?provider . ?provider . ?provider ?service), {?service, ?proof})