(<=> (Finer-Grain-Component ?A ?B) (And (Coarser-Granularity ?A ?B) (Component ?A ?B) (Material-Object ?A) (Material-Object ?B)))