1 2 3
formulas(goals). all x all y all z (subset(x,y) & subset(y,z) -> subset(x,z)). end_of_list.
Loggerhead is a web-based interface for Breezy Version: 2.0.1