(=> (surface ?OBJ1 ?OBJ2) (and (instance ?OBJ1 SelfConnectedObject) (forall (?OBJ3) (=> (superficialPart ?OBJ3 ?OBJ2) (part ?OBJ3 ?OBJ1)))))
(=> (and (instance ?ATTRIBUTE TextureProperty) (attribute ?OBJ ?ATTRIBUTE) (surface ?SURFACE ?OBJ)) (attribute ?SURFACE ?ATTRIBUTE))