1. [v]  cultivate, tend, and cut back the growth of"dress the plants in the garden"
2. [v]  cut off from a whole; "His head was severed from his body"

1. \Lop\, n. [AS. loppe.]
   A flea.[Obs.] --Cleveland.
   

2. \Lop\, v. t. [imp. & p. p. {Lopped}; p. pr. & vb. n.
   {Lopping}.] [Prov. G. luppen, lubben,to cut, geld, or OD.
   luppen, D. lubben.]
   1. To cut off as the top or extreme part of anything; to sho?
      -- by cutting off the extremities; to cut off, or remove
      as superfluous parts; as, to lop a tree or its branches.
      ``With branches lopped, in wood or mountain felled.''
      --Milton.
            Expunge the whole, or lop the excrescent parts.
                                                  --Pope.
   2. To cut partly off and bend down; as, to lop bushes in a
      hedge.
   

3. \Lop\, n.
   That which is lopped from anything, as branches from a tree.
   --Shak. Mortimer.
   

4. \Lop\, v. i.
   To hang downward; to be pendent; to lean to one side.
   

5. \Lop\, v. t.
   To let hang down; as, to lop the head.
   

6. \Lop\, a.
   Hanging down; as, lop ears; -- used also in compound
   adjectives; as, lopeared; lopsided.
   

A language based on first-order logic.

["SETHEO - A High-Perormance Theorem Prover for First-Order Logic", Reinhold Letz et al, J Automated Reasoning 8(2):183-212 (1992)].