PanLinx: Property Specification Language

日本語	jpn-000
Property Specification Language

Deutsch	deu-000	Property Specification Language
English	eng-000	Property Specification Language
français	fra-000	Property Specification Language

PanLex-PanLinx