An Experiment on the Connection between the DLs' Family DL<ForAllPiZero> and the Real World - Antonio Pisasale; Domenico Cantone (CoRR, 2012)