Consequences


I+ I-


C+ C-


qprop qprop+ qprop-

Qprop stands for qualitative proportionality.

(qprop (acceleration ?block) (applied-force ?block))
(qprop- (acceleration ?block) (mass ?block))