Definition:Logical Form