F Bonchi - F Zanasi - Saturated Semantics for LP - CALCO2013