module Labels where 

import DCLabel.Untrustworthy 

-- Creating categories
c1 = singleton "Alice"

c2 = "Alice" .\/. "Bob"

c3 = (<>)

-- Labels, i.e. conjunctions of disjunctions
-- Observe the precedence of .\/. is higher than ./\.

l1 =  "Alice" .\/. "Bob" ./\. "Carla" 

l2 = "Alice" ./\. "Carla" 

-- DCLabels 

dc1 = newDC l1 l2

dc2 = newDC (singleton "Deain") (singleton "Alice")