Maude: Prose and Verse

GPTKB entity