This page replaces the Forum page.
It will be populated by July 15, 2016 with helpful hints on the use of Verific's parsers, elaborators, and datastructures.