And this is done with the statement reduce in <some module> : <some term> . or the shorter form red <some term> .
Αυτό γίνεται με την εντολή: reduce in <κάποια μονάδα> : <κάποιος όρος> . ή με τη συντομογραφία: red <κάποιος όρος> .