Up: Corpus of Examples
Back: Abstractions, Approximations, and Meta-Rules
GEN.1. If O1 and O2 are separated by a plane, then they are not joined
dynamically
or statically. They can be moved apart with any relative translational motion
with a positive component in the direction normal to the plane.
Any physical theory, deterministic, external action, prediction.