pr-ind := non_expl-ind &
 [ PORD pr-order ].

;; Type hierarchy used to constrain the order in which prule names are
;; realized by the generation in reporting which rules have applied
;;
pr-order := *sort*.
pr001 := pr-order.
pr001s := pr001.
pr002 := pr001.
pr002s := pr002.
pr003 := pr002.
pr003s := pr003.
pr004 := pr003.
pr004s := pr004.
pr005 := pr004.
pr005s := pr005.
pr006 := pr005.
pr006s := pr006.
pr007 := pr006.
pr007s := pr007.
pr008 := pr007.
pr008s := pr008.
pr009 := pr008.
pr009s := pr009.
pr010 := pr009.
pr010s := pr010.
pr011 := pr010.
pr011s := pr011.
pr012 := pr011.
pr012s := pr012.
pr013 := pr012.
pr013s := pr013.
pr014 := pr013.
pr014s := pr014.
pr015 := pr014.
pr015s := pr015.
pr016 := pr015.
pr016s := pr016.
pr017 := pr016.
pr017s := pr017.
pr018 := pr017.
pr018s := pr018.
pr019 := pr018.
pr019s := pr019.
pr020 := pr019.
pr020s := pr020.
pr021 := pr020.
pr021s := pr021.
pr022 := pr021.
pr022s := pr022.
pr023 := pr022.
pr023s := pr023.
pr024 := pr023.
pr024s := pr024.
pr025 := pr024.
pr025s := pr025.
pr026 := pr025.
pr026s := pr026.
pr027 := pr026.
pr027s := pr027.
pr028 := pr027.
pr028s := pr028.
pr029 := pr028.
pr029s := pr029.
pr030 := pr029.
pr030s := pr030.
pr031 := pr030.
pr031s := pr031.
pr032 := pr031.
pr032s := pr032.
pr033 := pr032.
pr033s := pr033.
pr034 := pr033.
pr034s := pr034.
pr035 := pr034.
pr035s := pr035.
pr036 := pr035.
pr036s := pr036.
pr037 := pr036.
pr037s := pr037.
pr038 := pr037.
pr038s := pr038.
pr039 := pr038.
pr039s := pr039.
pr040 := pr039.
pr040s := pr040.
pr041 := pr040.
pr041s := pr041.
pr042 := pr041.
pr042s := pr042.
pr043 := pr042.
pr043s := pr043.
pr044 := pr043.
pr044s := pr044.
pr045 := pr044.
pr045s := pr045.
pr046 := pr045.
pr046s := pr046.
pr047 := pr046.
pr047s := pr047.
pr048 := pr047.
pr048s := pr048.
pr049 := pr048.
pr049s := pr049.
pr050 := pr049.
pr050s := pr050.
pr051 := pr050.
pr051s := pr051.
pr052 := pr051.
pr052s := pr052.
pr053 := pr052.
pr053s := pr053.
pr054 := pr053.
pr054s := pr054.
pr055 := pr054.
pr055s := pr055.
pr056 := pr055.
pr056s := pr056.
pr057 := pr056.
pr057s := pr057.
pr058 := pr057.
pr058s := pr058.
pr059 := pr058.
pr059s := pr059.
pr060 := pr059.
pr060s := pr060.
pr061 := pr060.
pr061s := pr061.
pr062 := pr061.
pr062s := pr062.
pr063 := pr062.
pr063s := pr063.
pr064 := pr063.
pr064s := pr064.
pr065 := pr064.
pr065s := pr065.
pr066 := pr065.
pr066s := pr066.
pr067 := pr066.
pr067s := pr067.
pr068 := pr067.
pr068s := pr068.
pr069 := pr068.
pr069s := pr069.
pr070 := pr069.
pr070s := pr070.
pr071 := pr070.
pr071s := pr071.
pr072 := pr071.
pr072s := pr072.
pr073 := pr072.
pr073s := pr073.
pr074 := pr073.
pr074s := pr074.
pr075 := pr074.
pr075s := pr075.
pr076 := pr075.
pr076s := pr076.
pr077 := pr076.
pr077s := pr077.
pr078 := pr077.
pr078s := pr078.
pr079 := pr078.
pr079s := pr079.
pr080 := pr079.
pr080s := pr080.
pr081 := pr080.
pr081s := pr081.
pr082 := pr081.
pr082s := pr082.
pr083 := pr082.
pr083s := pr083.
pr084 := pr083.
pr084s := pr084.
pr085 := pr084.
pr085s := pr085.
pr086 := pr085.
pr086s := pr086.
pr087 := pr086.
pr087s := pr087.
pr088 := pr087.
pr088s := pr088.
pr089 := pr088.
pr089s := pr089.
pr090 := pr089.
pr090s := pr090.
pr091 := pr090.
pr091s := pr091.
pr092 := pr091.
pr092s := pr092.
pr093 := pr092.
pr093s := pr093.
pr094 := pr093.
pr094s := pr094.
pr095 := pr094.
pr095s := pr095.
pr096 := pr095.
pr096s := pr096.
pr097 := pr096.
pr097s := pr097.
pr098 := pr097.
pr098s := pr098.
pr099 := pr098.
pr099s := pr099.
pr100 := pr099.
pr100s := pr100.
pr101 := pr100.
pr101s := pr101.
pr102 := pr101.
pr102s := pr102.
pr103 := pr102.
pr103s := pr103.
pr104 := pr103.
pr104s := pr104.
pr105 := pr104.
pr105s := pr105.
pr106 := pr105.
pr106s := pr106.
pr107 := pr106.
pr107s := pr107.
pr108 := pr107.
pr108s := pr108.
pr109 := pr108.
pr109s := pr109.
pr110 := pr109.
pr110s := pr110.
pr111 := pr110.
pr111s := pr111.
pr112 := pr111.
pr112s := pr112.
pr113 := pr112.
pr113s := pr113.
pr114 := pr113.
pr114s := pr114.
pr115 := pr114.
pr115s := pr115.
pr116 := pr115.
pr116s := pr116.
pr117 := pr116.
pr117s := pr117.
pr118 := pr117.
pr118s := pr118.
pr119 := pr118.
pr119s := pr119.
pr120 := pr119.
pr120s := pr120.
pr121 := pr120.
pr121s := pr121.
pr122 := pr121.
pr122s := pr122.
pr123 := pr122.
pr123s := pr123.
pr124 := pr123.
pr124s := pr124.
pr125 := pr124.
pr125s := pr125.
pr126 := pr125.
pr126s := pr126.
pr127 := pr126.
pr127s := pr127.
pr128 := pr127.
pr128s := pr128.
pr129 := pr128.
pr129s := pr129.
pr130 := pr129.
pr130s := pr130.
pr131 := pr130.
pr131s := pr131.
pr132 := pr131.
pr132s := pr132.
pr133 := pr132.
pr133s := pr133.
pr134 := pr133.
pr134s := pr134.
pr135 := pr134.
pr135s := pr135.
pr136 := pr135.
pr136s := pr136.
pr137 := pr136.
pr137s := pr137.
pr138 := pr137.
pr138s := pr138.
pr139 := pr138.
pr139s := pr139.
pr140 := pr139.
pr140s := pr140.
pr141 := pr140.
pr141s := pr141.
pr142 := pr141.
pr142s := pr142.
pr143 := pr142.
pr143s := pr143.