Prop2. L: Term
Prop
RespectsNot(Tr; L) 
PropProp{i} TermProp{i} Type{i'} TermProp{i} Type{i'}
Tr,L:(TermProp). RespectsNot(Tr; L) Prop
| 1 | 1. Tr: TermProp 2. L: Term Prop RespectsNot(Tr; L) Prop | 1 step |
| 2 | 1. Tr: TermProp{i} TermProp{i} Type{i'} | Auto |
| 3 | TermProp{i} Type{i'} | Auto |
About:
 |  |  |  |  |