Yoav Ravid comments on A Löbian argument pattern for implicit reasoning in natural language: Löbian party invitations

[Yoav Ravid]

Perhaps ‘implicated’, ‘implies’ and ‘implied’ are words people will find less confusing?