Create FactList.oz