corrected name of sup Horn logic sublanguage