[()]
[()]
[()]
[()]
[()]
[()]
[()]
[(Error (assertEqualToResult (miner GroundingSpace-0x62a9bd4afb18 (ms) (depth)) (() () () () () () () () () () (candidate (Inheritance (VarIdx Z) E) 2) (candidate (Inheritance (VarIdx Z) A) 2) (candidate (Inheritance B (VarIdx (S Z))) 1) (candidate (Inheritance C (VarIdx (S Z))) 2) (candidate (Inheritance D (VarIdx (S Z))) 1))) 
Expected: [(), (), (), (), (), (), (), (), (), (), (candidate (Inheritance (VarIdx Z) E) 2), (candidate (Inheritance (VarIdx Z) A) 2), (candidate (Inheritance B (VarIdx (S Z))) 1), (candidate (Inheritance C (VarIdx (S Z))) 2), (candidate (Inheritance D (VarIdx (S Z))) 1)]
Got: [(), (), (), (), (Error (get-candidate Z $link#78 1) NoValidAlternatives)]
Missed result: ())]
0.02user 0.00system 0:00.02elapsed 100%CPU (0avgtext+0avgdata 25088maxresident)k
0inputs+0outputs (0major+2941minor)pagefaults 0swaps