0 #)
Z1 $1
Z2 $2
Z3 $3
Z4 $4
Z5 $5
Z6 $6
Z7 $7
Z8 $8
Z9 $9
Z10 $10
&0 &
(3 (
0 (#
)3 )
,0 ,
0 ->
.0 ...
0 .=
:0 :
;0 ;
=1 =
[1 [
]1 ]
a0 according
0 aggregate
0 all
0 and
0 antonym
0 are
0 as
X4 associativity
0 assume
X8 asymmetry
0 attr
x0 axiom
0 be
0 begin
0 being
'0 by
0 canceled
0 case
0 cases
0 cluster
Y1 coherence
X6 commutativity
Y2 compatibility
X7 connectedness
0 consider
Y3 consistency
D7 constructors
%0 contradiction
0 correctness
Q1 def
0 deffunc
0 define
+0 definition
D3 definitions
0 defpred
0 do
0 does
>0 end
0 environ
D9 equalities
e0 equals
0 ex
0 exactly
Y4 existence
D10 expansions
0 for
"0 from
0 func
0 given
0 hence
0 hereby
0 holds
X9 idempotence
#0 identify
0 if
0 iff
0 implies
X10 involutiveness
X3 irreflexivity
0 is
0 it
0 let
0 means
0 mode
0 non
0 not
-0 notation
D2 notations
<0 now
0 of
0 or
0 otherwise
0 over
0 per
0 pred
0 prefix
X11 projectivity
/0 proof
0 provided
0 qua
0 reconsider
0 redefine
c0 reduce
Y6 reducibility
X2 reflexivity
*0 registration
D6 registrations
D8 requirements
0 reserve
Q2 sch
0 scheme
D5 schemes
s0 section
0 selector
1 set
X12 sethood
0 st
0 struct
0 such
0 suppose
X1 symmetry
0 synonym
0 take
0 that
0 the
0 then
0 theorem
D4 theorems
$0 thesis
0 thus
t0 to
X5 transitivity
Y5 uniqueness
D1 vocabularies
r0 wrt
0 where
w0 when
h0 with
{2 {
}2 }