Each conclusion, the inference drawing it, and what challenges that.

steps · (b:CLAIM)<-[:concludes]-(i:INF) · 3 matches

disputed · (b:CLAIM)<-[:concludes]-(i:INF)<-[:challenges]-(o:OBJ) · 1 match

  • CLAIM-003 — The bridge now carries loads near its rating (Active)
    • INF-001 — Twice the traffic on the same rating (Active)
  • CLAIM-005 — The bridge should be repaired before winter (Active)
    • INF-002 — A loaded deck will not survive a winter unrepaired (Active)
  • CLAIM-006 — The repair can wait until spring (Proposed)
    • INF-003 — No cracking, so no urgency (Proposed)
      • OBJ-001 — The inspection predates the traffic increase (Active)