Unnamed

;mass has gravity
:mass<gravity

;gravity is force
:force>gravity

;stone has mass
:stone<mass

;does force affect stone?
:stone<force?
True