a BT b ==> add(b NT a).
$a capital $b ==> add($b temComoCapital $a) add($a isa cidade) add($b isa paĆs ).
$a isa $a ==> sub{ warn( "isa reclexia para $a\n"); }
__END__
fazMilagres regras the
(vai executar:
t1 = Thesaurusload("x").
aplica(t1,PP);
ThesurusSave(t1,"y");
)