static L<Map<NLABlock.Entity>> nla_partialMappings(NLABlock b1, NLABlock b2) {
  Set<L> propsB = b2.propositionSet();

  L<Map<NLABlock.Entity>> out = new L;
  loop: for (Map<NLABlock.Entity> 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;
}