#!/usr/bin/python
import sys,os,pickle
#
#
#

def lspfs(doc):
	print()
	if doc.propdict:
		print("Propositions: ")
		nums = list(doc.propdict.keys())
		nums.sort()
		for x in nums:
			print(x, end = ', ')
		print()
		print()
	if doc.infruledict: 
		print("Inference Rules: ")
		nums = list(doc.infruledict.keys())
		nums.sort()
		for x in nums:
			print(x, end = ', ')
		print()
		print()



if __name__ == '__main__':

	if len(sys.argv) == 1:
		raise SystemExit("Usage: lspfs <file>")

	if sys.argv[1][-4:] == ".pfs":
		fname = sys.argv[1]
	else:
		fname = sys.argv[1] + ".pfs"
		
	if not os.path.isfile(fname):
		raise SystemExit("File not found: " + fname)
			  
	try:
		f = open(fname, "rb")
		dment = pickle.load(f)	
		f.close()
	except:
		raise SystemExit("Error reading file: " + fname) 

	lspfs(dment)


