Complex Logical Action-State Prediction