include "scg.beh";

PG_ValidFunction{{  }}

PG_InstancePredicate {{
public boolean belongs(PG_Claim c, PG_Instance i)
{ // detailed body
  return true;
}
}}
PG_Claim {{
public double quality(PG_Claim c)
{ return 0.0; }
}}