idempotency of entailment

  1. Redirect Structural rule#Contraction

{{rcat shell|

{{r to anchor}}

{{r from alternative name}}

}}