=> question

→

type/question

→

a statement that can be satisfied by a claim

→