component ReadTerms; type InputTermsFile; OpenInputTermsFile(FileName = text) -> InputTermsFile; FileName(InputTermsFile) -> text; endfile(InputTermsFile) -> boolean; close(InputTermsFile) -> nothing; readterm(InputTermsFile) -> term; readlist(InputTermsFile) -> list(term); begin << Implementation section >> end component ReadTerms;