Did you know ... | Search Documentation: |
Pack narsese -- examples/more/Example-NAL4-in.txt |
structural transformation : product to intensional image IN: <(*,acid,base) --> reaction>. %1.00;0.90% {0 : 1} 2 OUT: <acid --> (/,reaction,_,base)>. %1.00;0.90% {0 : 1} OUT: <base --> (/,reaction,acid,_)>. %1.00;0.90% {0 : 1} structural transformation : intensional image to product IN: <acid --> (/,reaction,_,base)>. %1.00;0.90% {0 : 1} 3 OUT: <(*,acid,base) --> reaction>. %1.00;0.90% {0 : 1} OUT: <base --> (/,reaction,acid,_)>. %1.00;0.90% {0 : 1} ** structural transformation : intensional image to product IN: <base --> (/,reaction,acid,_)>. %1.00;0.90% {0 : 1} 3 OUT: <(*,acid,base) --> reaction>. %1.00;0.90% {0 : 1} OUT: <acid --> (/,reaction,_,base)>. %1.00;0.90% {0 : 1}
structural transformation : extensional image to product IN: <neutralization --> (*,acid,base)>. %0.80;0.90% {0 : 1} 3 OUT: <(\,neutralization,_,base) --> acid>. %0.80;0.90% {0 : 1} OUT: <(\,neutralization,acid,_) --> base>. %0.80;0.90% {0 : 1} structural transformation : extensional image to product IN: <(\,neutralization,_,base) --> acid>. %0.80;0.90% {0 : 1} 2 OUT: <neutralization --> (*,acid,base)>. %0.80;0.90% {0 : 1} OUT: <(\,neutralization,acid,_) --> base>. %0.80;0.90% {0 : 1} ** structural transformation : extensional image to product IN: <(\,neutralization,acid,_) --> base>. %1.00;0.90% {0 : 1} 2 OUT: <(\,neutralization,_,base) --> acid>. %1.00;0.90% {0 : 1} OUT: <neutralization --> (*,acid,base)>. %1.00;0.90% {0 : 1}
composition on both sides of a statement : product IN: <bird --> animal>. %0.90;0.90% {0 : 1} IN: <(*,bird,plant) --> ?1>? {0 : 2} 8 OUT: <(*,bird,plant) --> (*,animal,plant)>. %0.90;0.81% {0 : 1} composition on both sides of a statement : extensional image IN: <neutralization --> reaction>. %0.90;0.90% {0 : 1} IN: <(\,neutralization,acid,_) --> ?1>? {0 : 2} 8 OUT: <(\,neutralization,acid,_) --> (\,reaction,acid,_)>. %0.90;0.81% {0 : 1} ** composition on both sides of a statement : intensional image IN: <soda --> base>. %0.90;0.90% {0 : 1} IN: <(/,neutralization,_,base) --> ?1>? {0 : 2} 8 OUT: <(/,neutralization,_,base) --> (/,neutralization,_,soda)>. %0.90;0.81% {0 : 1}