transfers_force_to
transfers_force_to
A force is transferred from a Supplier to a Recipient, gated by contact between them (Dodge 2010's ForceTransfer, one register down: forceAmount is refused-metric per ยง2/ยง5.9; the contact precondition is already has_common_boundary; what's left is has_as_cause gated by contact).
Frame Elements
Domain
Supplier
Supplier
Range
Recipient
Recipient