PDB Full entry for 2LTL