INDUCTIVE DEFINITION True () [ ]
OF ARITY Prop
BUILT FROM:
     I: True