Rule hgsvrmfmhednuidb

[id: hgsvrmfmhednuidb] i($the_glass is half $full) && fact(the opposite of $full is $empty) => o(not half $empty?)

Loaded as

[id: hgsvrmfmhednuidb] input($the_glass is half $full) && fact(the opposite of $full is $empty) => output(not half $empty?)