Property information
Holds between p and c when p is locomotion process and the outcome of this process is the change of location of c
Holds between p and c when p is locomotion process and the outcome of this process is the change of location of c