import "StandardLibrary"
import "Minigraph"

main = withGraph do
    a = resource "a"
    b = map resource ["b0", "b1", "b2", "b3", "b4"]
    r = map resource ["r0", "r1"]
    
    enforce
        Statement a (r!0) (b!0)
        Statement a (r!0) (b!1)
        Statement a (r!1) (b!4)
        Statement (b!1) (r!1) (b!3)
        Statement (b!1) (r!0) (b!2)
    sort $ map uriOf $ select ?x where 
        Statement a (r!0) (_ : Resource { #r1 = ?x })
--
[b3]