Assertion: graph's type | /r/HasProperty | ref
Facets:
Source sentences:
text: { todosById : { " 44 " : { name : " get milk from corner store " , done : false , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: { todosById : { " 44 " : { name : " get milk from corner store " , done : false , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: value : [ " todosById " , 44 ] }, { $type : " ref " , value : [ " todosById " , 54 ] } ] }
text: { todosById : { " 44 " : { name : " get milk from corner store " , done : false , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: { todosById : { " 44 " : { name : " get milk from corner store " , done : false , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: value : [ " todosById " , 44 ] }, { $type : " ref " , value : [ " todosById " , 54 ] } ] }
text: { $type : " ref " ,
text: { todosById : { " 44 " : { name : " get milk from corner store " , done : false , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: { todosById : { " 44 " : { name : " get milk from corner store " , done : false , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: value : [ " todosById " , 44 ] }, { $type : " ref " , value : [ " todosById " , 54 ] } ] };
text: { todosById : { " 44 " : { name : " get milk from corner store " , done : false , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: { todosById : { " 44 " : { name : " get milk from corner store " , done : false , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: value : [ " todosById " , 44 ] }, { $type : " ref " , value : [ " todosById " , 54 ] } ] }
text: // JSON Graph object { // "todosById" object snipped todos : [ { $type : " ref " ,
text: jsonGraph : { todos : { " 0 " : { $type : " ref " ,
text: // evaluating ["todosById", 44, "name"] { todosById : { " 44 " : { name : " get milk from corner store " , done : false , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: // evaluating ["todosById", 44, "name"] { todosById : { " 44 " : { name : " get milk from corner store " , done : false , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: value : [ " todosById " , 44 ] }, { $type : " ref " , value : [ " todosById " , 54 ] } ] }; // JSON Graph Envelope response { jsonGraph : { todos : { " 0 " : { $type : " ref " , value : [ " todosById " , 44 ] } } } }
text: value : [ " todosById " , 44 ] }, { $type : " ref " , value : [ " todosById " , 54 ] } ] }; // JSON Graph Envelope response { jsonGraph : { todos : { " 0 " : { $type : " ref " , value : [ " todosById " , 44 ] } } } }
text: jsonGraph : { todosById : { " 44 " : { name : " get milk from corner store " } }, todos : { " 0 " : { $type : " ref " ,
text: { todosById : { " 44 " : { name : " get milk from corner store " , done : false , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: { todosById : { " 44 " : { name : " get milk from corner store " , done : false , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: value : [ " todosById " , 44 ] }, { $type : " ref " , value : [ " todosById " , 54 ] } ] };
text: jsonGraph : { todos : { " 0 " : { $type : " ref " ,
text: { todosById : { " 44 " : { name : " get milk from corner store " , done : false , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: { todosById : { " 44 " : { name : " get milk from corner store " , done : false , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: value : [ " todosById " , 44 ] }, { $type : " ref " , value : [ " todosById " , 54 ] } ] };
text: { todosById : { " 44 " : { name : " get milk from corner store " , done : false , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: { todosById : { " 44 " : { name : " get milk from corner store " , done : false , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: value : [ " todosById " , 44 ] }, { $type : " ref " , value : [ " todosById " , 54 ] } ] };
text: " : { name : " get milk from corner store " , done : false , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: " : { name : " get milk from corner store " , done : false , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: value : [ " todosById " , 44 ] }, { $type : " ref " , value : [ " todosById " , 54 ] } ] }; // JSON Graph Envelope response { jsonGraph : { todos : { " 0 " : { $type : " ref " , value : [ " todosById " , 44 ] } } } }
text: value : [ " todosById " , 44 ] }, { $type : " ref " , value : [ " todosById " , 54 ] } ] }; // JSON Graph Envelope response { jsonGraph : { todos : { " 0 " : { $type : " ref " , value : [ " todosById " , 44 ] } } } }
text: // JSON Graph object { todosById : { " 44 " : { name : " get milk from corner store " , done : true , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: // JSON Graph object { todosById : { " 44 " : { name : " get milk from corner store " , done : true , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: value : [ " todosById " , 44 ] }, { $type : " ref " , value : [ " todosById " , 54 ] } ] }; // JSON Graph Envelope response { jsonGraph : { todosById : { " 44 " : { done : true } }, todos : { " 0 " : { $type : " ref " , value : [ " todosById " , 44 ] } } } }
text: value : [ " todosById " , 44 ] }, { $type : " ref " , value : [ " todosById " , 54 ] } ] }; // JSON Graph Envelope response { jsonGraph : { todosById : { " 44 " : { done : true } }, todos : { " 0 " : { $type : " ref " , value : [ " todosById " , 44 ] } } } }
text: { todosById : { " 44 " : { name : " get milk from corner store " , done : false , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: { todosById : { " 44 " : { name : " get milk from corner store " , done : false , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: value : [ " todosById " , 44 ] }, { $type : " ref " , value : [ " todosById " , 54 ] } ] };
text: // setting ["todosById", 44, "done", "completed"] to true { todosById : { " 44 " : { name : " get milk from corner store " , done : false , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: // setting ["todosById", 44, "done", "completed"] to true { todosById : { " 44 " : { name : " get milk from corner store " , done : false , prerequisites : [{ $type : " ref " , value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , done : false , prerequisites : [] } }, todos : [ { $type : " ref " ,
text: value : [ " todosById " , 44 ] }, { $type : " ref " , value : [ " todosById " , 54 ] } ] }; // JSON Graph Envelope response { jsonGraph : { todos : { " 0 " : { $type : " ref " , value : [ " todosById " , 44 ] } } } }
text: value : [ " todosById " , 44 ] }, { $type : " ref " , value : [ " todosById " , 54 ] } ] }; // JSON Graph Envelope response { jsonGraph : { todos : { " 0 " : { $type : " ref " , value : [ " todosById " , 44 ] } } } }
text: // setting ["todosById", 44, "done", "completed"] to true { todosById : { " 44 " : { name : " get milk from corner store " , done : {}, prerequisites : [{ $type : " ref " ,
text: value : [ " todosById " , 54 ] }] }, // rest of "todosById" object snipped }, // "todos" list snipped }; // JSON Graph Envelope response { jsonGraph : { todos : { " 0 " : { $type : " ref " , value : [ " todosById " , 44 ] } } } }
text: prerequisites : [{ $type : " ref " ,
text: value : [ " todosById " , 54 ] }] }, // rest of "todosById" object snipped }, // "todos" list snipped }; // JSON Graph Envelope response { jsonGraph : { todosById : { " 44 " : { done : { completed : true } } }, todos : { " 0 " : { $type : " ref " , value : [ " todosById " , 44 ] } } } }
text: // JSON Graph object after executing the ["todos", "add"] function { todosById : { " 44 " : { name : " get milk from corner store " , addedAt : 29689724399 , done : false , prerequisites : [{ $type : " ref " ,
text: value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , addedAt : 15687384689 , done : false , prerequisites : [] }, " 72 " : { name : " pick up car from the shop " , addedAt : 30147585551 , done : false , prerequisites : [] } }, todos : [ { $type : " ref " , value : [ " todosById " , 44 ] }, { $type : " ref " , value : [ " todosById " , 54 ] }, { $type : " ref " , value : [ " todosById " , 72 ] } ] };
text: value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , addedAt : 15687384689 , done : false , prerequisites : [] }, " 72 " : { name : " pick up car from the shop " , addedAt : 30147585551 , done : false , prerequisites : [] } }, todos : [ { $type : " ref " , value : [ " todosById " , 44 ] }, { $type : " ref " , value : [ " todosById " , 54 ] }, { $type : " ref " , value : [ " todosById " , 72 ] } ] };
text: value : [ " todosById " , 54 ] }] }, " 54 " : { name : " withdraw money from ATM " , addedAt : 15687384689 , done : false , prerequisites : [] }, " 72 " : { name : " pick up car from the shop " , addedAt : 30147585551 , done : false , prerequisites : [] } }, todos : [ { $type : " ref " , value : [ " todosById " , 44 ] }, { $type : " ref " , value : [ " todosById " , 54 ] }, { $type : " ref " , value : [ " todosById " , 72 ] } ] };
text: { jsonGraph : { todos : { " 2 " : { $type : " ref " , value : [ " todosById " , 72 ] } } }, invalidated : [ [ " todos " , " length " ] ], paths : [ [ " todos " , 2 ] ] }
text: { jsonGraph : { todosById : { " 72 " : { addedAt : 30147585551 } }, todos : { " 2 " : { $type : " ref " , value : [ " todosById " , 72 ] } } },
text: // JSON Graph object { // "todosById" object snipped todos : [ { $type : ' ref ' , value : [ ' todosById ' , 44 ] } // rest of list snipped ]; } // JSON Graph Envelope response { jsonGraph : { } }
text: todos : [ { $type : ' ref ' ,
text: // JSON Graph object { // "todosById" object snipped todos : [ { $type : ' ref ' , value : [ ' todosById ' , 44 ] } // rest of list snipped ]; } // JSON Graph Envelope response { jsonGraph : { } }
text: // JSON Graph object { // "todosById" object snipped todos : [ { $type : ' ref ' , value : [ ' todosById ' , 44 ] } // rest of list snipped ]; } // JSON Graph Envelope response { jsonGraph : { } }
text: var jsonGraphObject = { todosById : { ' 44 ' : { name : ' get milk from corner store ' , addedAt : 29689724399 , done : false , prerequisites : [{ $type : ' ref ' , value : [ ' todosById ' , 54 ] }] }, ' 54 ' : { name : ' withdraw money from ATM ' , addedAt : 15687384689 , done : false , prerequisites : [] } }, todos : [{ $type : ' ref ' , value : [ ' todosById ' , 44 ] }, { $type : ' ref ' , value : [ ' todosById ' , 54 ] }] };
text: var jsonGraphObject = { todosById : { ' 44 ' : { name : ' get milk from corner store ' , addedAt : 29689724399 , done : false , prerequisites : [{ $type : ' ref ' , value : [ ' todosById ' , 54 ] }] }, ' 54 ' : { name : ' withdraw money from ATM ' , addedAt : 15687384689 , done : false , prerequisites : [] } }, todos : [{ $type : ' ref ' , value : [ ' todosById ' , 44 ] }, { $type : ' ref ' , value : [ ' todosById ' , 54 ] }] };
text: var jsonGraphObject = { todosById : { ' 44 ' : { name : ' get milk from corner store ' , addedAt : 29689724399 , done : false , prerequisites : [{ $type : ' ref ' , value : [ ' todosById ' , 54 ] }] }, ' 54 ' : { name : ' withdraw money from ATM ' , addedAt : 15687384689 , done : false , prerequisites : [] } }, todos : [{ $type : ' ref ' , value : [ ' todosById ' , 44 ] }, { $type : ' ref ' , value : [ ' todosById ' , 54 ] }] };