Assertion

This page is generated from the code and must not be edited by hand.

A published edge.

Identity derives from source, target, primitive, respect, rule, rule version and scope, and from nothing else. The evidence that justified the edge lives in the fields below, beside the identifier rather than inside it, so evidence can be revised without the edge becoming a different edge.

Fields

Field	Type	Required	If left out
activity_id	text or null	no	null
allen_relation	AllenRelation or null	no	null
candidate_id	text or null	no	null
clock	ClockKind or null	no	null
decision_status	DecisionStatus	no	"asserted"
defeaters	list of Defeater	no	[]
edge_id	text	yes
expansion_state	ExpansionState or null	no	null
inference_tier	InferenceTier	no	"defeasible"
level	text	no	"file"
primitive	Primitive	yes
quotient_origin	QuotientOrigin	no	"native"
reference_resolution	ReferenceResolution or null	no	null
respect	text or null	no	null
rule_id	text	yes
rule_version	text	yes
run_id	text	yes
schema_version	text	no	"1.23"
scope	Scope	yes
source_id	text	yes
specialization	text or null	no	null
support	list of SupportComponent	no	[]
target_id	text	yes
weight	number or null	no	null

The types named above are described on the shared types page: AllenRelation, ClockKind, DecisionStatus, Defeater, ExpansionState, InferenceTier, Primitive, QuotientOrigin, ReferenceResolution, Scope, SupportComponent.