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)