Assertion list
natural sponge (subgroup of sponge ) → HasPrerequisite
Results from Ascent++: 1
natural sponge → HasPrerequisite → little care 0.16