Jednojezični primeri (nisu ih verifikovali PONS urednici)
poljski
Objaśnienia te, zwane glosami, zapisywano bądź na marginesach książki, bądź między rządkami pisma (glosa interlinearna), bądź zbierano je osobno tworząc tym samym pierwociny słowników.
Zastosował on tabele rachunku prawdziwościowego, które obecnie są standardową techniką wyjaśniania semantycznej logiki form zdaniowych, co stworzyło pierwociny współczesnej logiki formalnej.