[()]
[()]
[()]
[()]
[()]
[()]
[(Error (assertEqualToResult (|- ((A --> cat) (1.0 0.9)) ((B --> cat) (1.0 0.9))) (((B --> A) (1.0 0.44751381215469616)) (((A ~ B) --> cat) (0.0 0.81)) (((A | B) --> cat) (1.0 0.81)) ((B <-> A) (1.0 0.44751381215469616)) (((A & B) --> cat) (1.0 0.81)))) 
Expected: [((B --> A) (1.0 0.44751381215469616)), (((A ~ B) --> cat) (0.0 0.81)), (((A | B) --> cat) (1.0 0.81)), ((B <-> A) (1.0 0.44751381215469616)), (((A & B) --> cat) (1.0 0.81))]
Got: [((B --> A) (1.0 0.44751381215469616)), (((A & B) --> cat) (1.0 0.81)), ((B <-> A) (1.0 0.44751381215469616)), ((B <-> A) (1.0 0.44751381215469616)), (((A | B) --> cat) (1.0 0.81)), (((A ~ B) --> cat) (0.0 0.81))]
Excessive result: ((B <-> A) (1.0 0.44751381215469616)))]
0.16user 0.00system 0:00.17elapsed 99%CPU (0avgtext+0avgdata 41688maxresident)k
0inputs+0outputs (0major+4656minor)pagefaults 0swaps