PanLinx
italiano
ita-000
asserzione multipla
日本語
jpn-000
マルチステートメント
PanLex
