Warning: No rules/facts defined for relation B in file relation.dl at line 12
.decl B(a:M,b:N)
------^----------
Warning: No rules/facts defined for relation C in file relation.dl at line 14
.decl C(a:M,b:N)
------^----------
Warning: No rules/facts defined for relation E in file relation.dl at line 19
.decl E(a:M)
------^------
Warning: No rules/facts defined for relation F in file relation.dl at line 20
.decl F(a:M,b:N)
------^----------
Warning: No rules/facts defined for relation G in file relation.dl at line 21
.decl G(a:M,b:N)
------^----------
