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