Did you know ... Search Documentation:
 Pack logicmoo_nars -- examples/more/Example-NAL4-unedited.txt

********** structural transformation IN: <(*,acid,base) --> reaction>. %1.00;0.90% {0 : 1} 6 OUT: <acid --> (/,reaction,_,base)>. %1.00;0.90% {6 : 1} OUT: <base --> (/,reaction,acid,_)>. %1.00;0.90% {6 : 1} ********** structural transformation IN: <acid --> (/,reaction,_,base)>. %1.00;0.90% {0 : 1} 7 OUT: <(*,acid,base) --> reaction>. %1.00;0.90% {7 : 1} OUT: <base --> (/,reaction,acid,_)>. %1.00;0.90% {7 : 1} ********** structural transformation IN: <base --> (/,reaction,acid,_)>. %1.00;0.90% {0 : 1} 7 OUT: <acid --> (/,reaction,_,base)>. %1.00;0.90% {7 : 1} OUT: <(*,acid,base) --> reaction>. %1.00;0.90% {7 : 1} ********** structural transformation IN: <neutralization --> (*,acid,base)>. %1.00;0.90% {0 : 1} 7 OUT: <(\,neutralization,_,base) --> acid>. %1.00;0.90% {7 : 1} OUT: <(\,neutralization,acid,_) --> base>. %1.00;0.90% {7 : 1} ********** structural transformation IN: <(\,neutralization,_,base) --> acid>. %1.00;0.90% {0 : 1} 6 OUT: <neutralization --> (*,acid,base)>. %1.00;0.90% {6 : 1} OUT: <(\,neutralization,acid,_) --> base>. %1.00;0.90% {6 : 1} ********** structural transformation IN: <(\,neutralization,acid,_) --> base>. %1.00;0.90% {0 : 1} 6 OUT: <(\,neutralization,_,base) --> acid>. %1.00;0.90% {6 : 1} OUT: <neutralization --> (*,acid,base)>. %1.00;0.90% {6 : 1} ********** composition on both sides of a statement IN: <bird --> animal>. %1.00;0.90% {0 : 1} IN: <(*,bird,plant) --> ?1>? {0 : 2} 3 OUT: <bird --> (/,?1,_,plant)>? {3 : 2} OUT: <plant --> (/,?1,bird,_)>? {3 : 2} 4 OUT: <bird --> (/,?1,_,plant)>? {7 : 2} OUT: <plant --> (/,?1,bird,_)>? {7 : 2} 10 OUT: <(*,bird,plant) --> (*,animal,plant)>. %1.00;0.81% {17 : 1} ********** composition on both sides of a statement IN: <neutralization --> reaction>. %1.00;0.90% {0 : 1} IN: <(\,neutralization,acid,_) --> ?1>? {0 : 2} 3 OUT: <(\,neutralization,_,?1) --> acid>? {3 : 2} OUT: <neutralization --> (*,acid,?1)>? {3 : 2} 4 OUT: <(\,neutralization,_,?1) --> acid>? {7 : 2} OUT: <neutralization --> (*,acid,?1)>? {7 : 2} 10 OUT: <(\,neutralization,acid,_) --> (\,reaction,acid,_)>. %1.00;0.81% {17 : 1} ********** composition on both sides of a statement IN: <soda --> base>. %1.00;0.90% {0 : 1} IN: <(/,neutralization,_,base) --> ?1>? {0 : 2} 17 OUT: <(/,neutralization,_,base) --> (/,neutralization,_,soda)>. %1.00;0.81% {17 : 1}