Esempio Testo estratto: Over the week-end Mr Koresh sent a request for a word processor to enable him to record his revelations Forma logica ottenuta: Mr(71)&Koresh(71)&word(72)&processor(72)&&revelations(74)&rec ord(73 74 75)&enable(75 73 76)&request(76)&sent(77 76 78 71)&weekend(78)&_PERSON(71)&DATE(78) Esempio di dimostrazione ( e assiomi utilizzati): Proving:David(1)&Koresh(1)&word(2)&processor(2)&FBI(4)&ask( 34215)&_REASON(5)&_PERSON(1)&ORG(4) unifying axioms: David(1):=Mr(1)..
{}