Rules about last action in logic.py

[ryh95]

Dear authors of aima-python

I noticed that this line connects the forward action with turnleft and turnright.
However, I think the "equivalent" might not be the correct connective. Since the agent can "Grab", "Shoot", and "Climb" besides "turnleft " and "turnright".
Maybe the correct connective is "implies"?

Thank you!