Assertion list
form (aspect of argument ) → HasPrerequisite
Results from Ascent++: 1
form → HasPrerequisite → signed receipt 0.25