Possible issue with symmetry breaking constraints in ILASP's hypothesis space generation

[krgallagher]

The hypothesis: be_color(V1,V2) :- be(V1,V4), be_color(V3,V2), be(V3,V4) is not in the search space generated from the program below.

Contents of Learning File: #modeb(be(var(nnp),var(nn))). #modeb(be_color(var(nnp),var(color))). #modeh(be_color(var(nnp),var(color))). #maxv(4).

Flags run with ILASP: -s -ml=3

Search space output: 1 ~ :- be(V1,V2). 1 ~ :- be_color(V1,V2). 2 ~ :- be(V3,V4); be_color(V1,V2). 2 ~ :- be(V1,V3); be_color(V1,V2). 3 ~ :- be(V3,V4); be_color(V1,V2); not be_color(V3,V2). 3 ~ becolor(V1,V2) :- be(V1,V4); becolor(V3,V2). 3 ~ :- be(V1,V4); be(V2,V3); not be(V1,V3). 3 ~ :- be(V3,V4); be_color(V1,V2); not be(V1,V4). 3 ~ :- be_color(V1,V4); be_color(V2,V3); not becolor(V2,V4). 3 ~ :- be(V1,V4); be(V2,V3); not be(V2,V4). 3 ~ :- be_color(V1,V4); be_color(V2,V3); not be_color(V1,V3). 4 ~ be_color(V1,V2) :- be(V1,V4); be_color(V3,V2); not be(V3,V4). 4 ~ be_color(V1,V2) :- be_color(V1,V4); be_color(V3,V2); not be_color(V3,V4).