def SE.NeutralSubstrate.Spec.se100DefSubstrate : String

Paper item: substrate.

Equations

• SE.NeutralSubstrate.Spec.se100DefSubstrate = "se100.def.Substrate"

def SE.NeutralSubstrate.Spec.se100DefSubstrateCommitment : String

Paper item: substrate commitment.

Equations

• SE.NeutralSubstrate.Spec.se100DefSubstrateCommitment = "se100.def.SubstrateCommitment"

def SE.NeutralSubstrate.Spec.se100NoteCausalNormative : String

Paper item: causal or normative classification.

Equations

• SE.NeutralSubstrate.Spec.se100NoteCausalNormative = "se100.note.CausalNormative"

def SE.NeutralSubstrate.Spec.se100DefAttributionProposition : String

Paper item: attribution proposition.

Equations

• SE.NeutralSubstrate.Spec.se100DefAttributionProposition = "se100.def.AttributionProposition"

def SE.NeutralSubstrate.Spec.se100DefObjectLevelInterpretiveProposition : String

Paper item: object-level interpretive proposition.

Equations

• SE.NeutralSubstrate.Spec.se100DefObjectLevelInterpretiveProposition = "se100.def.ObjectLevelInterpretiveProposition"

def SE.NeutralSubstrate.Spec.se100DefObjectLevelCausalNormativeCommitment : String

Paper item: object-level causal or normative commitment.

Equations

• SE.NeutralSubstrate.Spec.se100DefObjectLevelCausalNormativeCommitment = "se100.def.ObjectLevelCausalNormativeCommitment"

def SE.NeutralSubstrate.Spec.se100DefReferentialRegime : String

Paper item: referential regime.

Equations

• SE.NeutralSubstrate.Spec.se100DefReferentialRegime = "se100.def.ReferentialRegime"

def SE.NeutralSubstrate.Spec.se100DefReferentialCommitments : String

Paper item: referential commitments.

Equations

• SE.NeutralSubstrate.Spec.se100DefReferentialCommitments = "se100.def.ReferentialCommitments"

def SE.NeutralSubstrate.Spec.se100DefAdmissibleFramework : String

Paper item: admissible framework.

Equations

• SE.NeutralSubstrate.Spec.se100DefAdmissibleFramework = "se100.def.AdmissibleFramework"

def SE.NeutralSubstrate.Spec.se100NoteFrameworkClass : String

Paper item: framework class.

Equations

• SE.NeutralSubstrate.Spec.se100NoteFrameworkClass = "se100.note.FrameworkClass"

def SE.NeutralSubstrate.Spec.se100DefPermittedAttributionProposition : String

Paper item: permitted attribution proposition.

Equations

• SE.NeutralSubstrate.Spec.se100DefPermittedAttributionProposition = "se100.def.PermittedAttributionProposition"

def SE.NeutralSubstrate.Spec.se100DefFrameworkVariant : String

Paper item: framework-variant proposition.

Equations

• SE.NeutralSubstrate.Spec.se100DefFrameworkVariant = "se100.def.FrameworkVariant"

def SE.NeutralSubstrate.Spec.se100DefFrameworkInvariant : String

Paper item: framework-invariant proposition.

Equations

• SE.NeutralSubstrate.Spec.se100DefFrameworkInvariant = "se100.def.FrameworkInvariant"

def SE.NeutralSubstrate.Spec.se100RemarkFrameworkInvariantRefutation : String

Paper item: framework-invariant refutation remark.

Equations

• SE.NeutralSubstrate.Spec.se100RemarkFrameworkInvariantRefutation = "se100.remark.FrameworkInvariantRefutation"

def SE.NeutralSubstrate.Spec.se100DefFrameworkCompatibleCommitmentSet : String

Paper item: framework-compatible commitment set.

Equations

• SE.NeutralSubstrate.Spec.se100DefFrameworkCompatibleCommitmentSet = "se100.def.FrameworkCompatibleCommitmentSet"

def SE.NeutralSubstrate.Spec.se100DefContestedCausalNormative : String

Paper item: contested causal or normative proposition.

Equations

• SE.NeutralSubstrate.Spec.se100DefContestedCausalNormative = "se100.def.ContestedCausalNormative"

def SE.NeutralSubstrate.Spec.se100AssumpContestability : String

Paper item: contestability assumption.

Equations

• SE.NeutralSubstrate.Spec.se100AssumpContestability = "se100.assump.Contestability"

def SE.NeutralSubstrate.Spec.se100AssumpReferentialCommonGround : String

Paper item: referential common-ground assumption.

Equations

• SE.NeutralSubstrate.Spec.se100AssumpReferentialCommonGround = "se100.assump.ReferentialCommonGround"

def SE.NeutralSubstrate.Spec.se100RemarkAttributionCommonGround : String

Paper item: attribution and common ground.

Equations

• SE.NeutralSubstrate.Spec.se100RemarkAttributionCommonGround = "se100.remark.AttributionCommonGround"

def SE.NeutralSubstrate.Spec.se100DefInterpretiveNonCommitment : String

Paper item: interpretive non-commitment.

Equations

• SE.NeutralSubstrate.Spec.se100DefInterpretiveNonCommitment = "se100.def.InterpretiveNonCommitment"

def SE.NeutralSubstrate.Spec.se100DefExtensionStability : String

Paper item: extension stability.

Equations

• SE.NeutralSubstrate.Spec.se100DefExtensionStability = "se100.def.ExtensionStability"

def SE.NeutralSubstrate.Spec.se100AssumpSubstrateConsistency : String

Paper item: substrate-consistency assumption.

Equations

• SE.NeutralSubstrate.Spec.se100AssumpSubstrateConsistency = "se100.assump.SubstrateConsistency"

def SE.NeutralSubstrate.Spec.se100RemarkPropertyRelation : String

Paper item: relation between the two neutrality properties.

Equations

• SE.NeutralSubstrate.Spec.se100RemarkPropertyRelation = "se100.remark.PropertyRelation"

def SE.NeutralSubstrate.Spec.se100DefNeutralityByDesign : String

Paper item: neutrality by design.

Equations

• SE.NeutralSubstrate.Spec.se100DefNeutralityByDesign = "se100.def.NeutralityByDesign"

def SE.NeutralSubstrate.Spec.se100ConstraintNeutrality : String

Paper item: neutrality constraint (semantic sufficiency).

Equations

• SE.NeutralSubstrate.Spec.se100ConstraintNeutrality = "se100.constraint.Neutrality"

def SE.NeutralSubstrate.Spec.se100RemarkCharacterizationHypothesis : String

Paper item: characterization of neutrality by design as an explicit hypothesis.

Equations

• SE.NeutralSubstrate.Spec.se100RemarkCharacterizationHypothesis = "se100.remark.CharacterizationHypothesis"

def SE.NeutralSubstrate.Spec.se100NoteConsequenceRelation : String

Paper item: consequence relation.

Equations

• SE.NeutralSubstrate.Spec.se100NoteConsequenceRelation = "se100.note.ConsequenceRelation"

def SE.NeutralSubstrate.Spec.se100ExampleReificationFragment : String

Paper item: reification fragment.

Equations

• SE.NeutralSubstrate.Spec.se100ExampleReificationFragment = "se100.example.ReificationFragment"