Write axioms that express the following statements in CycL.
Children are born after their parents. (useful constants: #$children)
Humans and dinosaurs never lived at the same time. (useful constants: #$Person, #$Dinosaur)
After you mop a floor, it's clean. (useful constants: #$MoppingAFloor, #$FloorInABuilding, #$Clean, #$objectOfStateChange, #$hasAttributes)
The recipient of a letter reads it after the writer writes it. (useful constants: #$Letter, #$iboCreated, #$informationOrigin, #$Writing, #$Reading)
In a conversation only one person is talking at a given time. (useful constants: #$Conversation, #$Speaking, #$subEvents, #$performedBy, #$equals)
In 1492, tomatoes were found only in the Western Hemisphere. (useful constants: #$TomatoPlant, #$objectFoundInLocation, #$WesternHemisphere-Region, #$forAll)