View source for Template:Property non-implication (generic)

{{quotation|This article gives the statement and possibly, proof, of a non-implication relation between two [[{{{context space}}} property|{{{context space}}} properties]]. That is, it states that every {{{context space}}} satisfying the first {{{context space}}} property {{#if:{{{stronger|}}}|(i.e., [[{{{stronger}}}]])}} need '''not''' satisfy the second {{{context space}}} property {{#if:{{{weaker|}}}|(i.e., [[{{{weaker}}}]])}}<br>[[:Category:{{{context space}}} property non-implications|View a complete list of {{{context space}}} property non-implications]] <nowiki>|</nowiki> [[:Category:{{{context space}}} property implications|View a complete list of {{{context space}}} property implications]]<br>{{#if:{{{stronger|}}}|{{#ask:[[Fact about::{{{stronger}}}]]|limit = 0| searchlabel = Get more facts about {{{stronger}}} }} }}<nowiki>|</nowiki>{{#if:{{{weaker|}}}|{{#ask:[[Fact about::{{{weaker}}}]]|limit = 0| searchlabel = Get more facts about {{{weaker}}} }} }} }}{{#if:{{{stronger relevance|}}}|[[Fact about::{{{stronger}}};{{{stronger relevance}}}| ]]|[[Fact about::{{{stronger}}};2| ]]}}{{#if:{{{weaker relevance|}}}|[[Fact about::{{{weaker}}};{{{weaker relevance}}}| ]]|[[Fact about::{{{weaker}}};2| ]]}}<includeonly>{{#ifeq:{{NAMESPACE}}|{{ns:0}}|[[Category: {{{context space}}} property non-implications]][[Page class::Fact| ]]}}</includeonly><noinclude>[[Category: Property implication specification templates]]</noinclude>