Scoping Assertions

Unconvincing?

 A consistsOf Metal . 
B consistsOf Water . 
{ Metal denserThan Water } log:implies { A sinksIn B } .

{ Mass a FixedValue } in NewtonianMechanics . 
{ Mass a Variable } in RelativityTheory . 
{ RelativityTheory approximates NewtonianMechanics } 
     when { RelativeVelocities lessThan halfC } .