\set ECHO none
remove_provenance

(1 row)
city|formula|counting
Berlin|𝟘|0
New York|𝟘|0
Paris|(Dave ⊗ Magdalen ⊗ Nancy)|1
(3 rows)
remove_provenance

(1 row)
city|formula|counting
Berlin|((Ellen ⊗ (𝟙 ⊖ Susan)) ⊕ (Susan ⊗ (𝟙 ⊖ Ellen)) ⊕ (Ellen ⊗ Susan))|1
New York|(John ⊗ Paul)|1
Paris|((Dave ⊗ (𝟙 ⊖ (Magdalen ⊕ Nancy))) ⊕ (Magdalen ⊗ (𝟙 ⊖ (Dave ⊕ Nancy))) ⊕ (Nancy ⊗ (𝟙 ⊖ (Dave ⊕ Magdalen))) ⊕ ((Dave ⊗ Magdalen) ⊗ (𝟙 ⊖ Nancy)) ⊕ ((Dave ⊗ Nancy) ⊗ (𝟙 ⊖ Magdalen)) ⊕ ((Magdalen ⊗ Nancy) ⊗ (𝟙 ⊖ Dave)) ⊕ (Dave ⊗ Magdalen ⊗ Nancy))|1
(3 rows)
remove_provenance

(1 row)
city|formula
Berlin|{{Ellen},{Ellen,Susan},{Susan}}
New York|{{John},{John,Paul},{Paul}}
Paris|{{Dave},{Dave,Magdalen},{Dave,Magdalen,Nancy},{Dave,Nancy},{Magdalen},{Magdalen,Nancy},{Nancy}}
(3 rows)
remove_provenance

(1 row)
city|formula
Berlin|{{Ellen,Susan},{Susan}}
New York|{}
Paris|{{Dave,Magdalen},{Dave,Magdalen,Nancy},{Dave,Nancy},{Magdalen,Nancy}}
(3 rows)
remove_provenance

(1 row)
formula
(((Susan ⊗ (𝟙 ⊖ Ellen)) ⊕ (Ellen ⊗ (𝟙 ⊖ Susan)) ⊕ (Ellen ⊗ Susan)) ⊕ ((Paul ⊗ (𝟙 ⊖ John)) ⊕ (John ⊗ (𝟙 ⊖ Paul)) ⊕ (John ⊗ Paul)) ⊕ ((Nancy ⊗ (𝟙 ⊖ (Dave ⊕ Magdalen))) ⊕ (Magdalen ⊗ (𝟙 ⊖ (Dave ⊕ Nancy))) ⊕ (Dave ⊗ (𝟙 ⊖ (Magdalen ⊕ Nancy))) ⊕ ((Magdalen ⊗ Nancy) ⊗ (𝟙 ⊖ Dave)) ⊕ ((Dave ⊗ Nancy) ⊗ (𝟙 ⊖ Magdalen)) ⊕ ((Dave ⊗ Magdalen) ⊗ (𝟙 ⊖ Nancy))))
(1 row)
remove_provenance

(1 row)
formula
{{Dave},{Dave,Magdalen},{Dave,Nancy},{Ellen},{Ellen,Susan},{John},{John,Paul},{Magdalen},{Magdalen,Nancy},{Nancy},{Paul},{Susan}}
(1 row)
remove_provenance

(1 row)
counting
2
(1 row)
remove_provenance

(1 row)
city|formula
Berlin|(((Susan ⊗ (𝟙 ⊖ Ellen)) ⊕ (Ellen ⊗ (𝟙 ⊖ Susan)) ⊕ (Ellen ⊗ Susan)) ⊗ ((Susan ⊗ (𝟙 ⊖ Ellen)) ⊕ (Ellen ⊗ Susan)))
New York|𝟘
Paris|(((Nancy ⊗ (𝟙 ⊖ (Dave ⊕ Magdalen))) ⊕ (Magdalen ⊗ (𝟙 ⊖ (Dave ⊕ Nancy))) ⊕ (Dave ⊗ (𝟙 ⊖ (Magdalen ⊕ Nancy))) ⊕ ((Magdalen ⊗ Nancy) ⊗ (𝟙 ⊖ Dave)) ⊕ ((Dave ⊗ Nancy) ⊗ (𝟙 ⊖ Magdalen)) ⊕ ((Dave ⊗ Magdalen) ⊗ (𝟙 ⊖ Nancy))) ⊗ ((Nancy ⊗ (𝟙 ⊖ (Dave ⊕ Magdalen))) ⊕ ((Dave ⊗ Magdalen) ⊗ (𝟙 ⊖ Nancy)) ⊕ ((Dave ⊗ Nancy) ⊗ (𝟙 ⊖ Magdalen)) ⊕ ((Magdalen ⊗ Nancy) ⊗ (𝟙 ⊖ Dave)) ⊕ (Dave ⊗ Magdalen ⊗ Nancy)))
(3 rows)
remove_provenance

(1 row)
formula
{{Dave,Ellen,John,Magdalen,Paul,Susan},{Dave,Ellen,John,Nancy,Paul,Susan},{Dave,Ellen,Magdalen,Nancy,Susan},{Dave,Ellen,Magdalen,Susan},{Dave,Ellen,Nancy,Susan},{Dave,John,Magdalen,Nancy,Paul},{Dave,John,Magdalen,Paul},{Dave,John,Nancy,Paul},{Dave,Magdalen},{Dave,Magdalen,Nancy},{Dave,Nancy},{Ellen,John,Magdalen,Nancy,Paul,Susan},{Ellen,John,Paul,Susan},{Ellen,Magdalen,Nancy,Susan},{Ellen,Susan},{John,Magdalen,Nancy,Paul},{John,Paul},{Magdalen,Nancy}}
(1 row)
remove_provenance

(1 row)
city|count
Berlin|2 (*)
New York|2 (*)
Paris|3 (*)
(3 rows)