#!/usr/bin/python
import sys,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:
		print("Usage: lspfs <file>")
		raise SystemExit

	if sys.argv[1][-4:] == ".pfs":
		try:
			f = open(sys.argv[1] , "rb")
			document = pickle.load(f)	
			f.close()
		except:
			print("Error reading file: ",sys.argv[1])
			raise SystemExit
	else:
		try:
			f = open(sys.argv[1] + ".pfs" ,"rb")
			document = pickle.load(f)	
			f.close()
		except:
			print("Error reading file: ",sys.argv[1] + ".pfs" )
			raise SystemExit

	lspfs(document)


