Własności

start

definition                   definition
  let x1 be Θ1;                 let x1 be Θ1;
  ......                         .........
  let x1 be Θ1;                 let x1 be Θ1;
  <definicja-właściwa>          redefine <redefinicja>. 
  <warunki-poprawn○ości>        <warunki-poprawności>
  własność                        własność
  proof                          proof
     thus φ;                         thus ψ;
  end;                           end;
end;                          end;

gdzie własność to słowo z kolumny własność, φ to formuła z kolumny znaczenie, a ψ to formuła z kolumny redefinicja.