== policy
ExposeRecord(Record) :- Have(Record), Field(Record,'App',_,'chat').
SelectAdvertisedCandidate(Record) :- Advertised(Record), AdvertisedField(Record,'App',_,'chat').
SelectStoredRecord(Record) :- Have(Record), Field(Record,'App',_,'chat').
== capture-private
ExposeRecord(Record) :- constraint0_facet2(Record).
SelectAdvertisedCandidate(Record) :- constraint0_facet1(Record).
SelectStoredRecord(Record) :- constraint0_facet0(Record).
TxDisabled() :- true.
constraint0_facet0(Record) :- Have(Record), Field(Record,'App',_,'chat').
constraint0_facet1(Record) :- Advertised(Record), AdvertisedField(Record,'App',_,'chat').
constraint0_facet2(Record) :- Have(Record), Field(Record,'App',_,'chat').
== capture-target
ExposeRecord(Record) :- Have(Record), Field(Record,'App',_,'chat').
SelectAdvertisedCandidate(Record) :- Advertised(Record), AdvertisedField(Record,'App',_,'chat').
SelectStoredRecord(Record) :- Have(Record), Field(Record,'App',_,'chat').
== provider-private
ExposeRecord(Record) :- constraint0_facet2(Record).
RxDisabled() :- true.
SelectAdvertisedCandidate(Record) :- constraint0_facet1(Record).
SelectStoredRecord(Record) :- constraint0_facet0(Record).
constraint0_facet0(Record) :- Have(Record).
constraint0_facet1(Record) :- Advertised(Record).
constraint0_facet2(Record) :- Have(Record).
== provider-target
ExposeRecord(Record) :- Have(Record).
SelectAdvertisedCandidate(Record) :- Advertised(Record).
SelectStoredRecord(Record) :- Have(Record).
