Assertion list
neighbor (primary) → MadeOf
Results from Ascent++: 1
neighbor → MadeOf → the type 0.27