Assertion list
value (aspect of parameter ) → HasPrerequisite
Results from Ascent++: 1
value → HasPrerequisite → quotation marks 0.33