Assertion list for term "published on theory".

Results from Ascent++: 1
martin CapableOfpublished on theory 0.28