Assertion list
bishop (primary) → PartOf
Results from Ascent++: 1
bishop → PartOf → the problem 0.16