Did you know ... Search Documentation:
Pack narsese -- examples/more/Example-NAL1-unedited.txt

********** revision IN: <bird --> swimmer>. %1.00;0.90% {0 : 1} IN: <bird --> swimmer>. %0.10;0.60% {0 : 2} 1 OUT: <bird --> swimmer>. %0.87;0.91% {1 : 1;2} ********** deduction IN: <bird --> animal>. %1.00;0.90% {0 : 1} IN: <robin --> bird>. %1.00;0.90% {0 : 2} 5 OUT: <robin --> animal>. %1.00;0.81% {5 : 2;1} OUT: <animal --> robin>. %1.00;0.45% {5 : 2;1} ********** abduction IN: <sport --> competition>. %1.00;0.90% {0 : 1} IN: <chess --> competition>. %0.90;0.90% {0 : 2} 5 OUT: <(|,chess,sport) --> competition>. %0.90;0.81% {5 : 2;1} OUT: <(&,chess,sport) --> competition>. %1.00;0.81% {5 : 2;1} OUT: <<sport --> $1> ==> <chess --> $1>>. %0.90;0.45% {5 : 2;1} OUT: <<chess --> $1> ==> <sport --> $1>>. %1.00;0.42% {5 : 2;1} OUT: <<chess --> $1> <=> <sport --> $1>>. %0.90;0.45% {5 : 2;1} OUT: (&&,<chess --> #1>,<sport --> #1>). %0.90;0.81% {5 : 2;1} OUT: <sport --> chess>. %1.00;0.42% {5 : 2;1} OUT: <chess --> sport>. %0.90;0.45% {5 : 2;1} OUT: <chess <-> sport>. %0.90;0.45% {5 : 2;1} ********* induction IN: <swan --> swimmer>. %0.90;0.90% {0 : 1} IN: <swan --> bird>. %1.00;0.90% {0 : 2} 5 OUT: <swan --> (|,bird,swimmer)>. %1.00;0.81% {5 : 2;1} OUT: <swan --> (&,bird,swimmer)>. %0.90;0.81% {5 : 2;1} OUT: <<$1 --> swimmer> ==> <$1 --> bird>>. %1.00;0.42% {5 : 2;1} OUT: <<$1 --> bird> ==> <$1 --> swimmer>>. %0.90;0.45% {5 : 2;1} OUT: <<$1 --> bird> <=> <$1 --> swimmer>>. %0.90;0.45% {5 : 2;1} OUT: (&&,<#1 --> bird>,<#1 --> swimmer>). %0.90;0.81% {5 : 2;1} OUT: <bird --> swimmer>. %0.90;0.45% {5 : 2;1} OUT: <swimmer --> bird>. %1.00;0.42% {5 : 2;1} OUT: <bird <-> swimmer>. %0.90;0.45% {5 : 2;1} ********** exemplification IN: <robin --> bird>. %1.00;0.90% {0 : 1} IN: <bird --> animal>. %1.00;0.90% {0 : 2} 5 OUT: <robin --> animal>. %1.00;0.81% {5 : 2;1} OUT: <animal --> robin>. %1.00;0.45% {5 : 2;1} ********** conversion IN: <bird --> swimmer>. %1.00;0.90% {0 : 1} IN: <swimmer --> bird>? {0 : 2} 4 OUT: <swimmer --> bird>. %1.00;0.47% {4 : 1} ********** "y/n" question IN: <bird --> swimmer>. %1.00;0.90% {0 : 1} IN: <bird --> swimmer>? {0 : 2} 1 OUT: <bird --> swimmer>. %1.00;0.90% {0 : 1} ********** "wh" question IN: <bird --> swimmer>. %1.00;0.80% {0 : 1} IN: <?1 --> swimmer>? {0 : 2} 4 OUT: <bird --> swimmer>. %1.00;0.80% {0 : 1} OUT: <?1 --> bird>? {4 : 1;2} OUT: <bird --> ?1>? {4 : 1;2} OUT: <?1 <-> bird>? {4 : 1;2} ********** backward inference IN: <bird --> swimmer>. %1.00;0.80% {0 : 1} IN: <?1 --> swimmer>? {0 : 2} 4 OUT: <bird --> swimmer>. %1.00;0.80% {0 : 1} OUT: <?1 --> bird>? {4 : 1;2} OUT: <bird --> ?1>? {4 : 1;2} OUT: <?1 <-> bird>? {4 : 1;2}