Property for talking of something which approximate the syntactic structure of a model (a graph or else) but does not obey to a formal semantics.
(<=> (_Informal ?A ?B) (And (Not (_Formal ?A ?B)) (Logical-Property ?A ?B)))