Warning: session_start(): open(/var/lib/php/sessions/sess_d70qrgv158vjnb5gj2rt96mo85, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
static L> nla_partialMappings(NLABlock b1, NLABlock b2) { Set propsB = b2.propositionSet(); L> out = new L; loop: for (Map map : nla_allPossibleMappings(b1, b2)) { for (NLABlock.Line line : b1.propositionLines()) { L bProp = nla_translate(line, map); if (!propsB.contains(bProp)) continue loop; } out.add(map); } ret out; }