(=> (and (instance ?VIRUS Virus) (instance ?PROC Replication) (effector ?PROC ?VIRUS)) (exists (?CELL) (and (located ?PROC ?CELL) (instance ?CELL Cell))))
Next Replication: SexualReproduction Up: Replication