"ProtoPure" "ProtoPure" "Pure" "" >  ;
"Pure" "Pure" "Pure" "" > "ProtoPure" ;
"CPure" "CPure" "Pure" "" > "Pure" ;
"IFOL" "FOL/IFOL" "FOL" + "IFOL.html" > "Pure" ;
"FOL" "FOL/FOL" "FOL" + "FOL.html" > "FOL/IFOL" ;