!7 p-exp { L rules = splitAtEmptyLines(mL_raw("NL Logic Examples")); pnlStruct(rules); print(joinWithEmptyLines(map prependGlobalIDInNewLine(rules))); }