=> question

type/question

a statement that can be satisfied by a claim