id	keyword
iajs-1930	𝐴 𝐴
iajs-1930	𝑋 𝐴
iajs-1930	𝑅 𝐴
iajs-1930	𝑋 𝑋
iajs-1930	𝑋 𝑅
iajs-1930	𝐴 𝐵
iajs-1930	𝑏 𝑋
iajs-1930	⊈ 𝐴
iajs-1930	𝑏 𝐴
iajs-1930	𝑋 ⊆
iajs-1930	r 𝐴
iajs-1930	𝑋 𝑍