(<=> (Processed-By ?A ?B) (And (Exists (?C) (And (Instrument-Of ?A ?C) (Performed-By ?C ?B))) (Entity ?A) (Object ?B) (Inverse-Of-Representation-Relation ?A ?B) (Information ?A) (*Agent ?B)))