search

gruninger / Common-Logic

Documents for the developments of ISO 24707 Editiion 2 (Common Logic)
8 stars 3 forks source link

Missing period #5

Open greenTara opened 12 years ago

greenTara commented 12 years ago

Submitter: Pat Hayes

References in Document: p.18 – 6.4 last sentence

Nature of Defect: Missing period

Proposed Solution: Replace “of the entailment” with “of the entailment.”