[mizar] vernacular

[Josef Urban <josef.urban@gmail.com>]

Here are frequencies (>1) of sentence starters in some 40k
mathematical sentences. It seems that Mizar got the keywords quite
right (modulo "suppose" vs. "assume").

Josef

   9425 Let
   5387 Then
   2994 So
   2338 The
   2127 From
   1936 Thus
   1803 We
   1586 Hence
   1354 By
   1267 This
   1048 Now
    926 Suppose
    904 That
    902 If
    887 Therefore
    886 But
    808 As
    696 Since
    678 It
    533 For
    396 In
    298 Also
    276 Similarly
    272 Consider
    238 First
    221 Note
    210 Follows
    158 There
    147 Because
    146 However
    129 Finally
    126 To
    122 Every
    115 Next
     88 These
     85 When
     76 Take
     76 Proof
     71 Using
     71 All
     69 Define
     69 Assume
     63 Clearly
     62 Given
     61 Otherwise
     60 Again
     59 On
     57 Furthermore
     57 Each
     53 Taking
     52 Alternatively
     48 Conversely
     47 Some
     47 An
     45 Join
     44 Any
     43 And
     42 Its
     36 Putting
     35 Moreover
     33 Checking
     33 At
     31 Here
     30 Denote
     29 What
     26 They
     26 See
     24 Such
     23 Both
     20 Recall
     20 Observe
     18 He
     17 Either
     17 Draw
     16 With
     16 Substituting
     16 Add
     15 One
     15 Construct
     15 Combining
     14 Multiplying
     14 Further
     14 Consequently
     13 Two
     13 Pick
     13 Or
     13 Notice
     13 Likewise
     13 Having
     13 Choose
     12 Trivially
     12 Replace
     12 Of
     12 Although
     11 Not
     11 More
     11 Compare
     10 While
     10 Which
     10 Letting
     10 Dividing
     10 Call
     10 Applying
     10 After
      9 Without
      9 Substitute
      9 Plugging
      8 Subtract
      8 Proceed
      8 Our
      8 Immediate
      8 Expanding
      8 Equivalently
      8 Apply
      8 According
      7 Setting
      7 Set
      7 Select
      7 Second
      7 Repeat
      7 Put
      7 Fix
      7 Eventually
      6 Unless
      6 Subtracting
      6 Subsequently
      6 Specifically
      6 Once
      6 Neither
      6 Multiplication
      6 Lastly
      6 Differentiating
      6 About
      5 Writing
      5 Write
      5 Whether
      5 Where
      5 Whatever
      5 Summing
      5 Statement
      5 Others
      5 Is
      5 Instead
      5 Informally
      5 File
      5 Equality
      5 Begin
      5 Assuming
      5 Another
      5 Adding
      4 Together
      4 Throughout
      4 Through
      4 Their
      4 Say
      4 Other
      4 Just
      4 Evaluating
      4 Elements
      4 Base
      3 You
      3 Use
      3 Uniqueness
      3 Under
      3 Sometimes
      3 Replacing
      3 Repeating
      3 Rearranging
      3 Place
      3 Obviously
      3 Noting
      3 None
      3 No
      3 Make
      3 Into
      3 Indeed
      3 Exactly
      3 Even
      3 Equally
      3 Eliminating
      3 Demonstrating
      3 Continuity
      3 Claim
      3 Cases
      3 Associativity
      3 Arranging
      2 Yeh
      2 Waring
      2 Upon
      2 Trivial
      2 Stated
      2 Start
      2 Squaring
      2 Similar
      2 Self
      2 Reverse
      2 Representing
      2 Remove
      2 Recalling
      2 Real
      2 Proving
      2 Proved
      2 Primes
      2 Peirce
      2 Output
      2 Namely
      2 Map
      2 List
      2 Joining
      2 Interchanging
      2 Integrating
      2 Input
      2 Induction
      2 Identifying
      2 How
      2 Futhermore
      2 Evidently
      2 Euler
      2 Doing
      2 Directly
      2 Differentiate
      2 Defining
      2 Continuing
      2 Continue
      2 Computing
      2 Composing
      2 Comparing
      2 Choosing
      2 Changing
      2 Certainly
      2 Case
      2 Cancelling
      2 Buchberger
      2 Auxiliary
      2 Assign
      2 Apart
      2 Additionally
      2 Addition