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% {2 : 1}
OUT: <base --> (/,reaction,acid,_)>. %1.00;0.90% {2 : 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% {3 : 1}
OUT: <base --> (/,reaction,acid,_)>. %1.00;0.90% {3 : 1}
structural transformation : intensional image to product
IN: <base --> (/,reaction,acid,_)>. %1.00;0.90% {0 : 1}
3
OUT: <acid --> (/,reaction,_,base)>. %1.00;0.90% {3 : 1}
OUT: <(*,acid,base) --> reaction>. %1.00;0.90% {3 : 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% {3 : 1}
OUT: <(\,neutralization,acid,_) --> base>. %0.80;0.90% {3 : 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% {2 : 1}
OUT: <(\,neutralization,acid,_) --> base>. %0.80;0.90% {2 : 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% {2 : 1}
OUT: <neutralization --> (*,acid,base)>. %1.00;0.90% {2 : 1}
composition on both sides of a statement : product
IN: <bird --> animal>. %0.90;0.90% {0 : 1}
IN: <(*,bird,plant) --> ?1>? {0 : 2}
2
OUT: <bird --> (/,?1,_,plant)>? {2 : 2}
OUT: <plant --> (/,?1,bird,_)>? {2 : 2}
2
OUT: <bird --> (/,?1,_,plant)>? {4 : 2}
OUT: <plant --> (/,?1,bird,_)>? {4 : 2}
4
OUT: <(*,bird,plant) --> (*,animal,plant)>. %0.90;0.81% {8 : 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}
2
OUT: <(\,neutralization,_,?1) --> acid>? {2 : 2}
OUT: <neutralization --> (*,acid,?1)>? {2 : 2}
2
OUT: <(\,neutralization,_,?1) --> acid>? {4 : 2}
OUT: <neutralization --> (*,acid,?1)>? {4 : 2}
4
OUT: <(\,neutralization,acid,_) --> (\,reaction,acid,_)>. %0.90;0.81% {8 : 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% {8 : 1}
