{
"s_type": "PointFact",
"label": "A",
"_CustomLabel": null,
"hasCustomLabel": false,
"labelId": 0,
"point": {"x": -1.66086578, "y": -0.00494432449, "z": -2.17682648},
"normal": {"x": 0.1, "y": 1.2, "z": 0.3}
}
{
"pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact252",
"pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact254",
"pid3": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact256",
"s_type": "AngleFact",
"label": "∠BDF",
"_CustomLabel": null,
"is_right_angle": false,
"hasCustomLabel": false,
"labelId": 0
}
{
"s_type": "LineFact",
"pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact255",
"pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact256",
"dir": {"x": 0.1, "y": 1.2, "z": 0.3},
"label": "[EF]",
"_CustomLabel": null,
"hasCustomLabel": false,
"labelId": 0
}
{
"s_type": "RayFact",
"pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact256",
"pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact252",
"dir": {"x": 0.1, "y": 1.2, "z": 0.3},
"label": "FB",
"_CustomLabel": null,
"hasCustomLabel": false,
"labelId": 0
}