n. | 1. | A flea. |
v. t. | 1. | To cut off as the top or extreme part of anything; to shorten by cutting off the extremities; to cut off, or remove, as superfluous parts; |
2. | To cut partly off and bend down; | |
n. | 1. | That which is lopped from anything, as branches from a tree. |
v. i. | 1. | To hang downward; to be pendent; to lean to one side. |
v. t. | 1. | To let hang down; |
a. | 1. | Hanging down; |
Verb | 1. | lop - cut off from a whole; "His head was severed from his body"; "The soul discerped from the body" |
2. | lop - cultivate, tend, and cut back the growth of; "dress the plants in the garden" |
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)]. |