<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_efgg9974o8cfm95mkloa0dacui, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
static NLABlock nla_simplifyIntroductions(S text) {
  ret nla_simplifyIntroductions(nla_parse(text));
}

static NLABlock nla_simplifyIntroductions(NLABlock nla) {
  nla_parse(nla);
  for (NLABlock.Line line : nla.introductions()) {
    // simplify introduction
    line.proposition = frag("var *", line.introducedEntity);
    
    // introduce a new proposition
    NLABlock.Line prop = nla.new Line;
    prop.proposition
      // = frag("* is *", line.introducedEntity, line.introducedEntity.firstSynonym());
      = frag("* is " + line.introducedEntity.firstSynonym(), line.introducedEntity);
    nla.parsedLines.add(line.index()+1, prop);
  }
  ret nla;
}