Interface TResponseLink

One link of a response: a premise whose whole content is x or NOT(x).

interface TResponseLink {
    boundAspect: "statement" | "inference";
    boundExpressionId: string;
    move: TLinkMove;
    premiseId: string;
    variableId: string;
}

Index

Properties

boundAspect boundExpressionId move premiseId variableId

Properties

boundAspect

boundAspect: "statement" | "inference"

boundExpressionId

boundExpressionId: string

The bound expression, in the argument the response answers.

move

move: TLinkMove

premiseId

premiseId: string

variableId

variableId: string