Lines of argument

2 lines, walked from follows_from ((b:CLAIM)<-[:concludes]-(i:INF)<-[:premise_of]-(a:CLAIM)) on CLAIM documents. Each step explains itself; this page is the order they came in.

From Traffic on the bridge has doubled since 2020

• CLAIM-001 — Traffic on the bridge has doubled since 2020 (Active)
  • CLAIM-003 — The bridge now carries loads near its rating (Active) — through INF-001 — also follows from CLAIM-002
    • CLAIM-005 — The bridge should be repaired before winter (Active) — through INF-002 — also follows from CLAIM-004
• CLAIM-002 — The load rating has not changed (Active)
• CLAIM-004 — Freeze–thaw accelerates damage to a heavily loaded deck (Active)

From The last inspection found no cracking

• CLAIM-007 — The last inspection found no cracking (Active)
  • CLAIM-006 — The repair can wait until spring (Proposed) — through INF-003