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(); new L> out; loop: for (Map map : allPartialMappings(b1.entities, b2.entities)) { for (NLABlock.Line line : b1.propositionLines()) { L bProp = replaceElementsUsingMap(line.proposition, map); if (!propsB.contains(bProp)) continue loop; } out.add(map); } ret out; }