// Check if comments discarded properly

// Comment
.type N <: symbol // Comment

// Comment
.decl Path (a:N, b:N) // Comment
// Comment
.decl Edge (a:N, b:N) // Comment

Path(a,b) :- Edge(a,b). // Comment
Path(a,c) :- Edge(a,b), Path(b,c). // Comment

Path(a,c) :- Edge(a,b),
             Path(b,c).  // Comment

Edge("1","2"). // Comment
Edge("2","3"). // Comment
Edge("3","4"). // Comment
