The goal "John is citizen" has two abductive solutions, one of which is "John is born in the USA", the other of which is "John is born outside the USA" and "John is registered".
Циљ "Џон је грађанин" има два абдуктивна решења, од којих је један "Џон је рођен у САДу", други је "Џон је рођен изван САДа" и "Џон је регистрован".