One pitfall is so common that it has a name: Pretend It's English. If English words or phrases are used in a representation, it looks good when printed -- but only to a human.
(lintel must-be-supported-by post1)Is must-be-supported-by related to support? Only if it is specially programmed; no relation between the two is built-in. Is man a man? No, it is just an arbitrary name for a predicate calculus constant.
point-mass(man)