Playing around with the RVF recently has raised some questions for me. (Mostly around Modelling, so MAG seemed like the best place to post). (The RVF defaults to validating the MRCM against the “stated”. (Presumably this now means axioms).I’d have thought the inferred form is really what’s important? Otherwise problematic inferences aren't revealed) Running the RVF against the inferred form I encountered many fails like       The MRCM attribute cardinality is [0..1] for 840562008 |Has devi