Warning: No rules/facts defined for relation WsuW in file aggregate6.dl at line 5
.decl WsuW(A:float, B:float)
------^----------------------
Warning: No rules/facts defined for relation FGAf in file aggregate6.dl at line 6
.decl FGAf(A:float, B:float)
------^----------------------
Warning: No rules/facts defined for relation XcMa in file aggregate6.dl at line 8
.decl XcMa(A:float)
------^-------------
Warning: Variable BOb only occurs once in file aggregate6.dl at line 10
qlca(FPY) :- FGAf(D,D), WsuW(FPY,BOb),  D =  min a + 7.585 : { XcMa(a)}.
---------------------------------^---------------------------------------
