Generalised Domain Model Acquisition from Action Traces