The primary types in this domain are Assertion and Freebase Proposition. Assertions are meant to be used as co-types on Quotation objects. Assertions have an interpretations property that contains a list of formal logical interpretations of the natural... more

The primary types in this domain are Assertion and Freebase Proposition. Assertions are meant to be used as co-types on Quotation objects. Assertions have an interpretations property that contains a list of formal logical interpretations of the natural language assertion as Freebase Propositions. Freebase propositions use Freebase proposition builders (FPBs) to construct logical statements about Freebase objects. Please see the help topics for instructions on constructing Freebase propositions. (Note: Help topics are not yet written, check back soon.) less