Translating an Effector Statement
					Associates with predicate  P :  an attached procedure  A  that is side-effectful. -  Drawing a conclusion about P triggers an action performed by  A.
						jproc = Java attached procedure. meth, clas, path = its methodname,                          classname, pathname.