The invention provides a system, a computer-readable medium, and a method. The method includes accessing 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 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 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 a record ofthe semantic model including the implied property added thereto.
METHODS AND SYSTEMS FOR USING IMPLIED PROPERTIES TO MAKE A CONTROLLED-ENGLISH MODELLING LANGUAGE MORE NATURAL