INDEX
    Explanations

    mathematical symbols and expressions related to propositions, assumptions, and proofs in a formal context

    Punctuation followed by discourse markers

    conclusion from symbols

    New Auto-Interp
    Negative Logits
     itſelf
    -0.72
     PublicKey
    -0.62
     greateſt
    -0.62
    CPtr
    -0.60
    WebMethod
    -0.59
    WriteAttribute
    -0.58
     Theſe
    -0.57
    venske
    -0.57
     myſelf
    -0.57
     palli
    -0.57
    POSITIVE LOGITS
     conclude
    0.73
     conclure
    0.66
     conclu
    0.65
     by
    0.65
     suy
    0.64
     whence
    0.62
     lại
    0.61
    0.60
     concluir
    0.60
     since
    0.58
    Act Density 1.092%

    No Known Activations