not-record>?
vonuvoli
procedure;
procedure
vs:comparisons-negated
(vonuvoli comparisons negated)
vs:records
(vonuvoli records)
vs:comparisons*
(vonuvoli comparisons)
vs:base
(vonuvoli base)