This report presents a metalanguage based on natural semantics. It is designed specifically with pedagogical purposes in mind.The focus of the report it lies in presenting the specifications of the metalanguage, as well as the underlying implementation.