Meta-program for program 1
for each line: if line contains arrow: convert line to yes/no test otherwise: keep line as fact