proposit-core
    Preparing search index...

    Variable DERIVATION_ANTECEDENT_NON_EMPTYConst

    DERIVATION_ANTECEDENT_NON_EMPTY: "DERIVATION_ANTECEDENT_NON_EMPTY"