presidential system Deductions form of government is for example presidential system ⇐ (presidential system is a form of government), (is a is inverse of is for example)