formal (logic / schema)
Open the canonical reference page.