Propositional examples for anldp.
