" Today we are trying to pull the pig away from the trough , " Mr. Harrigan said .
Sean Harrigan of Calpers , the California fund , said : " Today we are trying to pull the pig from the trough .
predicate logic: - on  - in - near - prolog  graph based:  - semantic networks - frames  rule based:  - expert systems