Domain d1ltlf_: 1ltl F:

Shown in context of the PDB entry.