contextRestrictedDomains.pl - Provide a way for students to enter formulas with a restricted domain.