sentence1: cussens and pulman used a symbolic approach employing inductive logic programming , while erbach , barg and walther and fouvry followed a unificationbased approach .
sentence2: cussens and pulman describe a symbolic approach which employs inductive logic programming and barg and walther and fouvry follow a unification-based approach .