x1=r1=vau1 is a rock cobtaining trace/remnant/fossil x2=vic4=vau2 of biological entity/organism x2=j1=vic3, with rock composition x4=r2 and from location x5=r3; x2 is the fossilized trace of organism x3 preserved in rock x1
Fossil x2 need not be a body (part), just a trace of an organism (scat, trail/footprint, etc.). Containment need not be total. The fossil container is necessarily a fossil rock (see mivyvelvicyvau for generalization to any container). The remnant can be "fresh", so long as it is found in rock. See also: rokybixmivborvelvi'u for not "fresh"/petrified/fossilized remains.