Assertion list
library (primary) → PartOf
Results from Ascent++: 2
library → PartOf → a member of delnet 0.36
library → PartOf → the solution 0.36