Inferences with premises in place and no conclusion yet.
(i:INF)<-[:premise_of]-(p:CLAIM) WHERE NOT (i)-[:concludes]->(:CLAIM) · 1 match
- INF-004 — What the repair should cost (Proposed)
- CLAIM-005 — The bridge should be repaired before winter (Active)