;
;	file assertion_values.txt
;	all values set and used for all assertions
;	changed for a058 typo
;
;other adjustment
;
;	rule r203 is the only one that uses FM, FL, or TL -
;	since nothing can set those values, we can ignore them
;
;codes
;	u	user input
;	u?	a038 and a062 are user input AND can be set by rules
;	c	system conclusion
;	>	con/alt proper subset hyp,
;		so rules with the extra assertion value tests cannot fire
;	<	hyp proper subset con/alt,
;		so no rules apply when assertions have the extra values
;
;hypotheses		code	conclusions and alternatives
a000 FH TH TM 			a000 FH TH TM
a001 FH TH TM 			a001 FH TH TM
a002 FH TH TM 			a002 FH TH TM
a003 FH TH TM 			a003 FH TH TM
a004 TH TM 		<	a004 FH TH TM
a005 FH TH TM 			a005 FH TH TM
a006 FH TH TM 			a006 FH TH TM
a007 TH TM 			a007 TH TM
a008 FH 			a008 FH
a009 FH TH TM 			a009 FH TH TM
a010 FH 			a010 FH
a011 TH 			a011 TH
a012 TH 			a012 TH
a013 FH TH 			a013 FH TH
a014 FH TH 			a014 FH TH
a015 FH TH 			a015 FH TH
a016 FH TH TM 			a016 FH TH TM
a017 FH 		<	a017 FH TH
a018 FH TH 			a018 FH TH
a019 FH TH TM 			a019 FH TH TM
a020 FH TH 			a020 FH TH
a021 FH TH 		>	a021 FH
a022 FH TH TM 		>	a022 FH TH
a023 FH TH TM 			a023 FH TH TM
a024 FH TH TM 			a024 FH TH TM
a025 FH TH TM 		>	a025 TH TM
a026 FH TH TM 			a026 FH TH TM
a027 FH TH TM 			a027 FH TH TM
a028 FH TH TM 		>	a028 FH TH
a029 FH TH TM 			a029 FH TH TM
a030 FH TH 			a030 FH TH
a031 FH TH TM 			a031 FH TH TM
a032 FH TH TM 			a032 FH TH TM
a033 TH 		<	a033 FH TH
a034 TH 		<	a034 FH TH
a035 FH TH TM 			a035 FH TH TM
a036 			c	a036 FH TH TM
a037 FH TH TM 			a037 FH TH TM
a038 FH TH 		u?	a038 FH TH
a039 FH TH 			a039 FH TH
a040 FH TH 		>	a040 FH
a041 FH TH TM 		u	a041
a042 FH TH 			a042 FH TH
a043 FH TH TM 			a043 FH TH TM
a044 FH TH TM 			a044 FH TH TM
a045 FH TH 			a045 FH TH
a046 FH TH TM 			a046 FH TH TM
a047 FH TH TM 			a047 FH TH TM
a048 			c	a048 FH
a049 FH TH TM 			a049 FH TH TM
a050 FH TH TM 		u	a050
a051 FH TH TM 			a051 FH TH TM
a052 FH TH TM 			a052 FH TH TM
a053 FH TH TM 			a053 FH TH TM
a054 FH TH TM 			a054 FH TH TM
a055 FH TH TM 			a055 FH TH TM
a056 FH TH TM 			a056 FH TH TM
a057 FH TH TM 		u	a057
a059 FH TH 			a059 FH TH
a060 TH 		<	a060 FH TH
a061 FH TH 			a061 FH TH
a062 FH TH TM 		u?	a062 FH TH TM
;
; end of file assertion_values.txt
;