DELETE TYPES;
READ FILE nrtl.a4c;
COMPILE tc OF nrtl;
BROWSE tc; 
RUN tc.clear;
RUN tc.specify; 
RUN tc.values;
SOLVE tc; 
BROWSE tc;