METHODS AND SYSTEMS FOR USING IMPLIED PROPERTIES TO MAKE A CONTROLLED-ENGLISH MODELLING LANGUAGE MORE NATURAL

A system 600, computer-readable medium, and a method 200 including accessing 205 a semantic model, the semantic model having a grammar syntax supporting a comparison of at least one of a semantic model class and an instance of a semantic model class to an incompatible value; specifying 210 an implied property for at least one of a semantic model class and an instance of a semantic model class in the semantic model, the implied property having an associated range; adding 215 the implied property to the semantic model, the implied property to be referenced in a validation and translation of an expression including at least one of the class and the instance of a class having the implied property specified therewith compared to an incompatible value; and generating 220 a record of the semantic model including the implied property added thereto.