KAJERO

Sentence analysis: proof by induction

[ROOT]
└─ 1 proof  main finite verb
   ├─ 2 by  adverbial
   └─ 3 induction  object

[ROOT]
└─ 1 proof  fragment
   ├─ 2 by  adverbial
   └─ 3 induction  object

Inferencoj: 14,720, CPU-sekundoj: 0.008, Reale pasintaj sekundoj: 0.008.

Kajero
Multlingva vortaro

Per
Cainia 3.1 双向推理系统

Programita de
Sato kaj Cainiao 2019-2026 Subtenu nin per taso da kafo

Funkciigata de
SWI-Prolog