/**
  * Answer true iff a given statement is reified in this model
  *
  * @param s the statement for which a reification is sought
  * @return true iff s has a reification in this model
  */
 public boolean isReified(FrontsTriple s) {
   return reifier.hasTriple(s.asTriple());
 }