Assertion list
mast (primary) → PartOf
Results from Ascent++: 1
mast → PartOf → the restraint 0.25