[lop] 
verb, lopped, lop⋅ping, noun | 1. | to cut off (branches, twigs, etc.) from a tree or other plant. |
| 2. | to cut off (a limb, part, or the like) from a person, animal, etc. |
| 3. | to cut off the branches, twigs, etc., of (a tree or other plant). |
| 4. | to eliminate as unnecessary or excessive: We had to lop off whole pages of the report before presenting it to the committee. |
| 5. | Archaic. to cut off the head, limbs, etc., of (a person). |
| 6. | to cut off branches, twigs, etc., as of a tree. |
| 7. | to remove parts by or as by cutting. |
| 8. | parts or a part lopped off. |
| 9. | (of trees) the smaller branches and twigs not useful as timber. |
[lop] verb, lopped, lop⋅ping, adjective | 1. | to hang loosely or limply; droop. |
| 2. | to sway, move, or go in a drooping or heavy, awkward way. |
| 3. | to move in short, quick leaps: a rabbit lopping through the garden. |
| 4. | to let hang or droop: He lopped his arms at his sides in utter exhaustion. |
| 5. | hanging down limply or droopingly: lop ears. |
| line of position. |
| lop 1 (lŏp) tr.v. lopped, lop·ping, lops
[Perhaps from Middle English loppe, small branches and twigs.] lop'per n. |
| lop 2 (lŏp) intr. & tr.v. lopped, lop·ping, lops To hang or let hang loosely; droop. [Origin unknown.] |
LOP
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)].
LOP
|
