id	keyword
cte-553	𝐾 ÷𝐴
cte-553	+ 𝐴
cte-553	belief
cte-553	𝐴 ∧𝐵
cte-553	𝐾 +
cte-553	set
cte-553	contraction
cte-553	agm
cte-553	expansion
cte-553	logic