KAJERO

Sentence analysis: axiom of complete induction

[ROOT]
└─ 1 axiom  main finite verb
   ├─ 2 of  adverbial
   ├─ 3 complete  adverbial
   └─ 4 induction  object

[ROOT]
└─ 1 axiom  fragment
   ├─ 2 of  adverbial
   ├─ 3 complete  adverbial
   └─ 4 induction  object

Inferences: 20,817, CPU seconds: 0.008, Elapsed seconds: 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