import "StandardLibrary"
import "Minigraph"

main = withGraph do
    a = resource "a"
    b = map resource ["b0", "b1", "b2"]
    r = map resource ["r0", "r1"]
    
    enforce
        Statement a (r!0) (b!0)
        Statement a (r!0) (b!1)
        Statement a (r!1) (b!1)
        Statement a (r!1) (b!2)
    sort $ map uriOf $ select ?x where 
        <|> Statement a (r!0) ?x
            Statement a (r!1) ?x
--
[b0, b1, b1, b2]