Skip to Main Content
Table 3 
Top–down generation of the logical form count(and(daughterOf(Barack Obama), InfluentialTeensByYear(2014)). Elements on the stack are separated by || and the top of the stack is on the right.
OperationLogical form tokenStack
NT(count) count count
NT(and) and count( || and
NT(relation) daughterOf count( || and( || daughterOf 
TER(entity) Barack Obama count( || and( || daughterOf( || Barack Obama 
RED   count( || and( || daughterOf(Barack Obama
NT(relation) InfluentialTeensByYear count( || and( || daughterOf(Barack Obama) || InfluentialTeensByYear
TER(entity) 2014 count( || and( || daughterOf(Barack Obama) || InfluentialTeensByYear( || 2014 
RED   count( || and( || daughterOf(Barack Obama) || InfluentialTeensByYear(2014
RED   count( || and(daughterOf(Barack Obama), InfluentialTeensByYear(2014)) 
RED   count(and(daughterOf(Barack Obama), InfluentialTeensByYear(2014))) 
OperationLogical form tokenStack
NT(count) count count
NT(and) and count( || and
NT(relation) daughterOf count( || and( || daughterOf 
TER(entity) Barack Obama count( || and( || daughterOf( || Barack Obama 
RED   count( || and( || daughterOf(Barack Obama
NT(relation) InfluentialTeensByYear count( || and( || daughterOf(Barack Obama) || InfluentialTeensByYear
TER(entity) 2014 count( || and( || daughterOf(Barack Obama) || InfluentialTeensByYear( || 2014 
RED   count( || and( || daughterOf(Barack Obama) || InfluentialTeensByYear(2014
RED   count( || and(daughterOf(Barack Obama), InfluentialTeensByYear(2014)) 
RED   count(and(daughterOf(Barack Obama), InfluentialTeensByYear(2014))) 
Close Modal

or Create an Account

Close Modal
Close Modal